2007年ACM A・M・チューリング賞
受賞理由
ハードウェア・ソフトウェア産業において広く採用されているモデル検査を極めて効果的な検査技術に発達させた役割に対して。
受賞者
エドムンド・クラーク
アレン・エマーソン
ジョセフ・シファキス