共查询到20条相似文献，搜索用时 15 毫秒
1.
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. 相似文献
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.
Moshe Y. Vardi Thomas A. Henzinger Rajeev Alur Marta Kwiatkowska 《Formal Methods in System Design》2012,41(1):1-2
The 2011 CAV (Computer-Aided Verification) Award was presented on July 17, 2011 at the 23rd annual CAV conference in Snowbird, Utah to Thomas Ball and Sriram Rajamani of Microsoft Research for their contributions to software model checking, specifically the development of the SLAM/SDV software model checker, which successfully demonstrated computer-aided verification techniques on real programs. 相似文献
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
Advance announcement 相似文献
14.
15.
16.
17.
18.
19.
Pavel He?man Ivan Barvík David Zapletal 《Structural and Multidisciplinary Optimization》1994,8(1):32-32
Preliminary announcement 相似文献
20.