|
|||||
|
|
2011 CAV award announcement |
|
| Authors: | Moshe Y Vardi Thomas A Henzinger Rajeev Alur Marta Kwiatkowska |
| Affiliation: | 1. Department of Computer Science, Rice University, Houston, TX 77005, USA 2. IST Austria, Am Campus 1, 3400, Klosterneuburg, Austria 3. Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA, 19104, USA 4. Department of Computer Science, University of Oxford, Parks Road, Oxford, OX1 3QD, UK |
| Abstract: | 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. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |