再考された補間とSATベースのモデルチェック：ソフトウェア検証への採用

McMillanによる2003年の補間とSATベースのモデルチェックアルゴリズムを、大規模なプログラムセーフティ検証タスクで競争力があることを示す。