2010 CAV award announcement

Authors:
Orna Grumberg;Moshe Y. Vardi;Joseph Sifakis;Rajeev Alur
Affiliations:
Computer Science Department, Technion, Haifa, Israel 32000;Department of Computer Science, Rice University, Houston, USA 77005;VERIMAG, Centre National de la Recherche Scientifique, Grenoble, France;Department of Computer and Information Science, University of Pennsylvania, Philadelphia, USA 19104
Venue:
Formal Methods in System Design
Year:
2012

Citing 5
Cited 0

Circular Compositional Reasoning about Liveness

CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
A Compositional Rule for Hardware Design Refinement

CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
Verification of an Implementation of Tomasulo's Algorithm by Compositional Model Checking

CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
Applying SAT Methods in Unbounded Symbolic Model Checking

CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits

CAV '92 Proceedings of the Fourth International Workshop on Computer Aided Verification

Quantified Score

Hi-index	0.00

Visualization

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.