Computer Aided Verification

23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings

  • Ganesh Gopalakrishnan
  • Shaz Qadeer

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

Table of contents

  1. Front Matter
  2. Vijay Ganesh, Adam Kieżun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael Ernst
    Pages 1-19
  3. Ranjit Jhala
    Pages 20-20
  4. Vigyan Singhal, Prashant Aggarwal
    Pages 44-49
  5. Jade Alglave, Luc Maranget
    Pages 50-66
  6. Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, Christine Rizkallah
    Pages 67-82
  7. Aleksandr Andreychenko, Linar Mikeev, David Spieler, Verena Wolf
    Pages 83-98
  8. Mohamed Faouzi Atig, Ahmed Bouajjani, Gennaro Parlato
    Pages 99-115
  9. Domagoj Babić, Daniel Reynaud, Dawn Song
    Pages 116-131
  10. Valeriy Balabanov, Jie-Hong R. Jiang
    Pages 149-164
  11. Sébastien Bardin, Philippe Herrmann, Jérôme Leroux, Olivier Ly, Renaud Tabary, Aymeric Vincent
    Pages 165-170
  12. Clark Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanović, Tim King et al.
    Pages 171-177
  13. Josh Berdine, Byron Cook, Samin Ishtiaq
    Pages 178-183
  14. Dirk Beyer, M. Erkan Keremoglu
    Pages 184-190
  15. Jörg Brauer, Andy King, Jael Kriener
    Pages 191-207
  16. Tomáš Brázdil, Stefan Kiefer, Antonín Kučera
    Pages 208-224
  17. Peter Buchholz, Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang
    Pages 225-242

About these proceedings


This book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, UT, USA, in July 2011.The 35 revised full papers presented together with 20 tool papers were carefully reviewed and selected from 161 submissions. The papers are organized in topical sections on the following workshops: 4th International Workshop on Numerical Software Verification (NSV 2011), 10th International Workshop on Parallel and Distributed Methods in Verifications (PDMC 2011), 4th International Workshop on Exploiting Concurrency Efficiently and Correctly (EC2 2011), Frontiers in Analog Circuit Synthesis and Verification (FAC 2011), International Workshop on Satisfiability Modulo Theories, including SMTCOMP (SMT 2011), 18th International SPIN Workshop on Model Checking of Software (SPIN 2011), Formal Methods for Robotics and Automation (FM-R 2011), and Practical Synthesis for Concurrent Systems (PSY 2011).


context-free languages model checking simulation software testing symbolic techniques

Editors and affiliations

  • Ganesh Gopalakrishnan
    • 1
  • Shaz Qadeer
    • 2
  1. 1.School of ComputingUniversity of UtahSalt Lake CityUSA
  2. 2.Microsoft ResearchUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-22109-5
  • Online ISBN 978-3-642-22110-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book