Computer Aided Verification

24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

  • P. Madhusudan
  • Sanjit A. Seshia
Conference proceedings CAV 2012

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Wolfgang Thomas
      Pages 1-1
    2. David L. Dill
      Pages 2-2
  3. Invited Tutorials

  4. Automata and Synthesis

    1. Jan Křetínský, Javier Esparza
      Pages 7-22
    2. Tomáš Brázdil, Krishnendu Chatterjee, Antonín Kučera, Petr Novotný
      Pages 23-38
    3. Rüdiger Ehlers
      Pages 39-54
  5. Inductive Inference and Termination

    1. Yu-Fang Chen, Bow-Yaw Wang
      Pages 55-70
    2. Rahul Sharma, Aditya V. Nori, Alex Aiken
      Pages 71-87
    3. Wonchan Lee, Bow-Yaw Wang, Kwangkeun Yi
      Pages 88-104
    4. Marc Brockschmidt, Richard Musiol, Carsten Otto, Jürgen Giesl
      Pages 105-122
    5. Javier Esparza, Andreas Gaiser, Stefan Kiefer
      Pages 123-138
  6. Abstraction

    1. Josh Berdine, Arlen Cox, Samin Ishtiaq, Christoph M. Wintersteiger
      Pages 155-173
    2. Aditya Thakur, Thomas Reps
      Pages 174-192
    3. Simone Fulvio Rollini, Ondrej Sery, Natasha Sharygina
      Pages 193-209
  7. Concurrency and Software Verification

    1. Mohamed Faouzi Atig, Ahmed Bouajjani, Michael Emmi, Akash Lal
      Pages 210-226
    2. Vineet Kahlon, Chao Wang
      Pages 227-242
    3. Gerhard Schellhorn, Heike Wehrheim, John Derrick
      Pages 243-259
    4. Alessandro Cimatti, Alberto Griggio
      Pages 277-293
  8. Biology and Probabilistic Systems

    1. Călin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Maria Mateescu, Ali Sezgin
      Pages 294-309
    2. Anvesh Komuravelli, Corina S. Păsăreanu, Edmund M. Clarke
      Pages 310-326
  9. Embedded and Control Systems

    1. Aditya Zutshi, Sriram Sankaranarayanan, Ashish Tiwari
      Pages 343-361
    2. Rupak Majumdar, Majid Zamani
      Pages 362-377
    3. Alessandro Cimatti, Raffaele Corvino, Armando Lazzaro, Iman Narasamdya, Tiziana Rizzo, Marco Roveri et al.
      Pages 378-393
  10. SAT/SMT Solving and SMT-based Verification

    1. Isil Dillig, Thomas Dillig, Kenneth L. McMillan, Alex Aiken
      Pages 394-409
    2. Cheng-Shen Han, Jie-Hong Roland Jiang
      Pages 410-426
    3. Akash Lal, Shaz Qadeer, Shuvendu K. Lahiri
      Pages 427-443
  11. Timed and Hybrid Systems

    1. Shibashis Guha, Chinmay Narayan, S. Arun-Kumar
      Pages 444-461
    2. Ichiro Hasuo, Kohei Suenaga
      Pages 462-478
    3. Sergiy Bogomolov, Goran Frehse, Radu Grosu, Hamed Ladan, Andreas Podelski, Martin Wehrle
      Pages 479-494
  12. Hardware Verification

    1. Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayvan Memarian, Jade Alglave, Scott Owens et al.
      Pages 495-512
    2. Flavio M. De Paula, Alan J. Hu, Amir Nahir
      Pages 513-531
    3. Zyad Hassan, Aaron R. Bradley, Fabio Somenzi
      Pages 532-547
  13. Security

    1. Matthew Fredrikson, Richard Joiner, Somesh Jha, Thomas Reps, Phillip Porras, Hassen Saïdi et al.
      Pages 548-563
    2. Boris Köpf, Laurent Mauborgne, Martín Ochoa
      Pages 564-580
    3. William R. Harris, Somesh Jha, Thomas Reps
      Pages 581-598
  14. Verification and Synthesis

    1. Nishant Sinha, Nimit Singhania, Satish Chandra, Manu Sridharan
      Pages 599-615
    2. Duc-Hiep Chu, Joxan Jaffar
      Pages 616-633
    3. Rishabh Singh, Sumit Gulwani
      Pages 634-651
  15. Tool Demonstration Papers

    1. Aaron Bohy, Véronique Bruyère, Emmanuel Filiot, Naiyong Jin, Jean-François Raskin
      Pages 652-657
    2. Chih-Hong Cheng, Michael Geisinger, Harald Ruess, Christian Buckl, Alois Knoll
      Pages 658-664
    3. Evan Driscoll, Aditya Thakur, Thomas Reps
      Pages 665-671
    4. Aws Albarghouthi, Yi Li, Arie Gurfinkel, Marsha Chechik
      Pages 672-678
    5. Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina
      Pages 679-685

About these proceedings


This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata and synthesis, inductive inference and termination, abstraction, concurrency and software verification, biology and probabilistic systems, embedded and control systems, SAT/SMT solving and SMT-based verification, timed and hybrid systems, hardware verification, security, verification and synthesis, and tool demonstration.


algorithms formal methods model checking multithreaded programs static analysis

Editors and affiliations

  • P. Madhusudan
    • 1
  • Sanjit A. Seshia
    • 2
  1. 1.Dept. of Computer ScienceUniversity of Illinois at Urbana-ChampaignUrbanaUSA
  2. 2.Dept. of Electrical Engineering and Computer ScienceUniversity of California, BerkeleyBerkeleyUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-31423-0
  • Online ISBN 978-3-642-31424-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software