ACM官方网站上刚刚发布了如下消息：
| ACM, the Association for Computing Machinery, has named Edmund M. Clarke, E. Allen Emerson, and Joseph Sifakis the winners of the 2007 A.M. Turing Award, widely considered the most prestigious award in computing, for their original and continuing research in a quality assurance process known as Model Checking |
关于Model Checking的背景知识可以参考wikipedia。另外CSDN有牛人推荐这篇介绍。还有g9老大的博客。