ACM A. M. Turing Award

2007

检查每一种可达的可能性

语言与软件2007

插画肖像：E. 艾伦·爱默生

插画肖像：埃德蒙·克拉克

插画肖像：约瑟夫·西法基斯

检查每一种可达的可能性

模型检测将系统行为变成可以自动探索的图。

E. 艾伦·爱默生埃德蒙·克拉克约瑟夫·西法基斯

浏览所有年份 ↗