Computer Aided Verification

21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings

  • Ahmed Bouajjani
  • Oded Maler
Conference proceedings CAV 2009

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5643)

Table of contents

  1. Front Matter
  2. Invited Tutorials

    1. Rachid Guerraoui, Michał Kapałka
      Pages 1-15
    2. Jean Krivine, Vincent Danos, Arndt Benecke
      Pages 17-32
  3. Invited Talks

  4. Regular Papers

    1. Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening
      Pages 64-78
    2. Ananda Basu, Saddek Bensalem, Doron Peled, Joseph Sifakis
      Pages 79-93
    3. Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard Trefler
      Pages 94-108
    4. Nikolaj Bjørner, Joe Hendrix
      Pages 124-139
    5. Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann
      Pages 140-156
    6. Marius Bozga, Peter Habermehl, Radu Iosif, Filip Konečný, Tomáš Vojnar
      Pages 157-172
    7. Pavol Černý, Rajeev Alur
      Pages 173-187
    8. Alessandro Cimatti, Marco Roveri, Stefano Tonetta
      Pages 188-203
    9. Nicolas Coste, Holger Hermanns, Etienne Lantreibecq, Wendelin Serwe
      Pages 204-218

About these proceedings


This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009.

The 36 revised full papers presented together with 16 tool papers and 4 invited talks and 4 invited tutorials were carefully reviewed and selected from 135 regular paper and 34 tool paper submissions. The papers are dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems; their scope ranges from theoretical results to concrete applications, with an emphasis on practical verification tools and the underlying algorithms and techniques.


algorithms assertion automata theory automatic verification computational logic computer concurrency constraint solving debugging decision making declarative networking dynamic verification formal methods formal ve verification

Editors and affiliations

  • Ahmed Bouajjani
    • 1
  • Oded Maler
    • 2
  1. 1.LIAFA, University Paris Diderot (Paris 7), Case 7014Paris Cedex 13France
  2. 2.Verimag, Centre EquationGièresFrance

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-02657-7
  • Online ISBN 978-3-642-02658-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book