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