http://awards.acm.org/homepage.cfm?srt=all&awd=140 (via http://d.hatena.ne.jp/wpw/20080215/1203037535)だそうです。一応補足すると、「モデル検査」というのは、いわゆる形式的手法（ソフトウェアやハードウェアのモデルを、数学的というか論理学的に…