Computer Aided Verification

20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

  • Editors
  • Aarti Gupta
  • Sharad Malik
Conference proceedings CAV 2008

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Invited Tutorials

  4. Session 1: Concurrency

  5. Session 2: Memory Consistency

    1. Surender Baswana, Shashank K. Mehta, Vishal Powar
      Pages 94-106
    2. Sebastian Burckhardt, Madanlal Musuvathi
      Pages 107-120
  6. Session 3: Abstraction/Refinement

    1. Mihaela Gheorghiu Bobaru, Corina S. Păsăreanu, Dimitra Giannakopoulou
      Pages 135-148
    2. Ariel Cohen, Kedar S. Namjoshi
      Pages 149-161
    3. Holger Hermanns, Björn Wachter, Lijun Zhang
      Pages 162-175
  7. Session 4: Hybrid Systems

    1. André Platzer, Edmund M. Clarke
      Pages 176-189
    2. Sumit Gulwani, Ashish Tiwari
      Pages 190-203
  8. Session 5: Tools – Dynamic Verification

    1. Ambar A. Gadkari, Anand Yeolekar, J. Suresh, S. Ramesh, Swarup Mohalik, K. C. Shashidhar
      Pages 204-208
    2. Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
      Pages 209-213
  9. Session 6: Modeling and Specification Formalisms

    1. Deepak D’Souza, Madhu Gopinathan
      Pages 227-239
    2. Rajeev Alur, Aditya Kanade, Gera Weiss
      Pages 240-253
  10. Session 7: Decision Procedures

    1. Ruzica Piskac, Viktor Kuncak
      Pages 268-280
    2. Andy King, Harald Søndergaard
      Pages 281-293
  11. Session 8: Tools – Decision Procedures

    1. Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio
      Pages 294-298
    2. Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani
      Pages 299-303
    3. Dirk Beyer, Damien Zufferey, Rupak Majumdar
      Pages 304-308
  12. Session 9: Program Verification

    1. Andreas Podelski, Andrey Rybalchenko, Thomas Wies
      Pages 314-327
    2. Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv
      Pages 328-340
    3. Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, Ahmed Rezine
      Pages 341-354
    4. Huu Hai Nguyen, Wei-Ngan Chin
      Pages 355-369
  13. Session 10: Program and Shape Analysis

    1. Hongseok Yang, Oukseh Lee, Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano et al.
      Pages 385-398
    2. J. Berdine, T. Lev-Ami, R. Manevich, G. Ramalingam, M. Sagiv
      Pages 399-413
  14. Session 11: Tools – Security and Program Analysis

    1. Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina
      Pages 419-422
    2. Johannes Kinder, Helmut Veith
      Pages 423-427
    3. Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay
      Pages 428-432
  15. Session 12: Hardware Verification I

  16. Session 13: Hardware Verification II

    1. Sudipta Kundu, Sorin Lerner, Rajesh Gupta
      Pages 459-472
    2. Oliver Wienand, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Gert-Martin Greuel
      Pages 473-486
    3. Hyondeuk Kim, Hoonsang Jin, Kavita Ravi, Petr Spacek, John Pierce, Bob Kurshan et al.
      Pages 487-490
  17. Session 14: Model Checking

    1. Sujatha Kashyap, Vijay K. Garg
      Pages 491-503
    2. Peter Niebert, Doron Peled, Amir Pnueli
      Pages 504-516
  18. Session 15: Space Efficient Algorithms

    1. Rob van Glabbeek, Bas Ploeger
      Pages 517-529

About these proceedings


This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008.

The 33 revised full papers presented together with 14 tool papers and 2 invited papers and 4 invited tutorials were carefully reviewed and selected from 104 regular paper and 27 tool paper submissions. The papers are organized in topical sections on concurrency, memory consistency, abstraction/refinement, hybrid systems, dynamic verification, modeling and specification formalisms, decision procedures, program verification, program and shape analysis, security and program analysis, hardware verification, model checking, space efficient algorithms, and model checking.


Action algorithms assertion automated deduction computer computer aided verification debugging formal methods formal verification hybrid systems modeling probabilistic automata program ana structured analysis verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-70543-7
  • Online ISBN 978-3-540-70545-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site