Computer Aided Verification

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

  • P. Madhusudan
  • Sanjit A. Seshia

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

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
  • 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