|
|||||
|
|
2010 CAV award announcement |
|
| Authors: | Orna Grumberg Moshe Y. Vardi Joseph Sifakis Rajeev Alur |
| Affiliation: | 1. Computer Science Department, Technion, Haifa, 32000, Israel 2. Department of Computer Science, Rice University, Houston, TX, 77005, USA 3. VERIMAG, Centre National de la Recherche Scientifique, Grenoble, France 4. Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA, 19104, USA |
| Abstract: | 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. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |