据ACM的官方消息，Edmund M. Clarke，Allen Emerson和Joseph Sifakis因为“在将模型检查发展为被硬件和软件业中所广泛采纳的高效验证技术上的贡献”（For his role in developing Model-Checking into a highly effective verification technology, widely adopted in the hardware and software industries）而荣获2007年的图灵奖。

而DDJ的报道则将三人的贡献称为“在发现计算机硬件和软件中设计错误的自动化方法方面的工作”（for their work on an automated method for finding design errors in computer hardware and software）。

刘江翻译的相关详细信息