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

  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
    10. Azadeh Farzan, P. Madhusudan, Francesco Sorrentino
      Pages 248-262
    11. Emmanuel Filiot, Naiyong Jin, Jean-François Raskin
      Pages 263-277
    12. Oded Fuhrmann, Shlomo Hoory
      Pages 278-290
    13. Thomas Martin Gawlitza, Helmut Seidl
      Pages 291-305
    14. Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh
      Pages 321-336
    15. Thomas A. Henzinger, Maria Mateescu, Verena Wolf
      Pages 337-352
    16. Warren A. Hunt Jr., Sol Swords
      Pages 353-367
    17. Jie-Hong R. Jiang
      Pages 383-397
    18. Roope Kaivola, Rajnish Ghughal, Naren Narasimhan, Amber Telfer, Jesse Whittemore, Sudhindra Pandav et al.
      Pages 414-429
    19. Aditya Kanade, Rajeev Alur, Franjo Ivančić, S. Ramesh, Sriram Sankaranarayanan, K. C. Shashidhar
      Pages 430-445
    20. Nathan Kitchen, Andreas Kuehlmann
      Pages 446-461
    21. Kenneth L. McMillan, Andreas Kuehlmann, Mooly Sagiv
      Pages 462-476
    22. Salvatore La Torre, P. Madhusudan, Gennaro Parlato
      Pages 477-492
    23. Shuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies
      Pages 493-508
    24. Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamarić
      Pages 509-524
    25. Peter Lammich, Markus Müller-Olm, Alexander Wenner
      Pages 525-539
    26. Colas Le Guernic, Antoine Girard
      Pages 540-554
    27. Rupak Majumdar, Ru-Gang Xu
      Pages 555-569
    28. Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh
      Pages 584-598
    29. Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe
      Pages 599-613
  5. Tool Papers

    1. Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis
      Pages 614-619
    2. Olivier Bouissou, Eric Goubault, Sylvie Putot, Karim Tekkal, Franck Vedrine
      Pages 620-626
    3. Khalil Ghorbal, Eric Goubault, Sylvie Putot
      Pages 627-633
    4. Ashutosh Gupta, Andrey Rybalchenko
      Pages 634-640
    5. Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang
      Pages 641-647

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 Computer Science (R0)
  • Print ISBN 978-3-642-02657-7
  • Online ISBN 978-3-642-02658-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment