Linnk AI herunterladen
•
Forschungsassistent
>
Anmelden
Einblick
-
ソフトウェア検証
再考された補間とSATベースのモデルチェック:ソフトウェア検証への採用
McMillanによる2003年の補間とSATベースのモデルチェックアルゴリズムを、大規模なプログラムセーフティ検証タスクで競争力があることを示す。
1