共查询到20条相似文献,搜索用时 15 毫秒
1.
2.
Orna Grumberg Moshe Y. Vardi Joseph Sifakis Rajeev Alur 《Formal Methods in System Design》2012,40(2):117-120
The 2010 CAV (Computer-Aided Verification) award was awarded to Kenneth L. McMillan of Cadence Research Laboratories for a
series of fundamental contributions resulting in significant advances in scalability of model checking tools. The annual award
recognizes a specific fundamental contribution or a series of outstanding contributions to the CAV field. 相似文献
3.
Randal E. Bryant Orna Grumberg Joseph Sifakis Moshe Y. Vardi 《Formal Methods in System Design》2010,36(3):195-197
The 2009 CAV (Computer-Aided Verification) award was presented to seven individuals who made major advances in creating high-performance
Boolean satisfiability solvers. This annual award recognizes a specific fundamental contribution or series of outstanding
contributions to the CAV field. 相似文献
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.