Skip to main content
SpringerLink
Log in

2010 CAV award announcement

  • Published:
Formal Methods in System Design Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. McMillan KL (1992) Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits. In: Fourth international workshop on Computer Aided Verification (CAV’92), Montreal, Canada. Lecture notes in computer science, vol 663, pp 164–174

    Google Scholar 

  2. McMillan KL (1997) A compositional rule for hardware design refinement. In: 9th international conference on Computer Aided Verification (CAV’97). Lecture notes in computer science, vol 1254, pp 24–35

    Chapter  Google Scholar 

  3. McMillan KL (1998) Verification of an implementation of Tomasulo’s algorithm by compositional model checking. In: 10th international conference on Computer Aided Verification (CAV’98). Lecture notes in computer science, vol 1427, pp 110–121

    Chapter  Google Scholar 

  4. McMillan KL (1999) Circular compositional reasoning about liveness. In: 10th IFIP WG 10.5 advanced research working conference on correct hardware design and verification methods (CHARME’99), Bad Herrenalb, Germany. Lecture notes in computer science, vol 1703, pp 342–345

    Google Scholar 

  5. McMillan KL (2002) Applying sat methods in unbounded symbolic model checking. In: 14th international conference on Computer Aided Verification (CAV’02), Copenhagen, Denmark. Lecture notes in computer science, vol 2404, pp 250–264

    Chapter  Google Scholar 

  6. McMillan KL (2003) Interpolation and SAT-based model checking. In: 15th international conference on Computer Aided Verification (CAV’03), Bolder, Colorado. Lecture notes in computer science, vol 2725

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, Technion, Haifa, 32000, Israel

    Orna Grumberg

  2. Department of Computer Science, Rice University, Houston, TX, 77005, USA

    Moshe Y. Vardi

  3. VERIMAG, Centre National de la Recherche Scientifique, Grenoble, France

    Joseph Sifakis

  4. Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA, 19104, USA

    Rajeev Alur

Authors
  1. Orna Grumberg
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Moshe Y. Vardi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Joseph Sifakis
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Rajeev Alur
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Orna Grumberg.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Grumberg, O., Vardi, M.Y., Sifakis, J. et al. 2010 CAV award announcement. Form Methods Syst Des 40, 117–120 (2012). https://doi.org/10.1007/s10703-011-0125-1

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10703-011-0125-1

Keywords

Search

Navigation