Computer Aided Verification

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

  • Ganesh Gopalakrishnan
  • Shaz Qadeer
Conference proceedings CAV 2011

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
  18. Pavol Černý, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh
    Pages 243-259
  19. Krishnendu Chatterjee, Monika Henzinger, Manas Joglekar, Nisarg Shah
    Pages 260-276
  20. Swarat Chaudhuri, Armando Solar-Lezama
    Pages 277-292
  21. Wei-Ngan Chin, Cristian Gherghina, Răzvan Voicu, Quang Loc Le, Florin Craciun, Shengchao Qin
    Pages 293-309
  22. Alessandro Cimatti, Alberto Griggio, Andrea Micheli, Iman Narasamdya, Marco Roveri
    Pages 310-316
  23. Alessandro Cimatti, Sergio Mover, Stefano Tonetta
    Pages 317-332
  24. Byron Cook, Eric Koskinen, Moshe Vardi
    Pages 333-348
  25. Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikučionis, Zheng Wang
    Pages 349-355
  26. Alastair Donaldson, Alexander Kaiser, Daniel Kroening, Thomas Wahl
    Pages 356-371
  27. Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel et al.
    Pages 379-395
  28. Radu Grosu, Gregory Batt, Flavio H. Fenton, James Glimm, Colas Le Guernic, Scott A. Smolka et al.
    Pages 396-411
  29. Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko
    Pages 412-417
  30. Tihomir Gvero, Viktor Kuncak, Ruzica Piskac
    Pages 418-423
  31. Peter Habermehl, Lukáš Holík, Adam Rogalewicz, Jiří Šimáček, Tomáš Vojnar
    Pages 424-440
  32. Christine Hang, Panagiotis Manolios, Vasilis Papavasileiou
    Pages 441-456
  33. Kryštof Hoder, Nikolaj Bjørner, Leonardo de Moura
    Pages 457-462
  34. David Brumley, Ivan Jager, Thanassis Avgerinos, Edward J. Schwartz
    Pages 463-469
  35. Ranjit Jhala, Rupak Majumdar, Andrey Rybalchenko
    Pages 470-485
  36. Manu Jose, Rupak Majumdar
    Pages 504-509
  37. Gal Katz, Doron Peled, Sven Schewe
    Pages 510-525
  38. Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell
    Pages 526-540
  39. Uri Klein, Kedar S. Namjoshi
    Pages 541-556
  40. Daniel Kroening, Joël Ouaknine, Ofer Strichman, Thomas Wahl, James Worrell
    Pages 557-572
  41. Daniel Kroening, Georg Weissenbacher
    Pages 573-578
  42. Hillel Kugler, Cory Plock, Andy Roberts
    Pages 579-584
  43. Marta Kwiatkowska, Gethin Norman, David Parker
    Pages 585-591
  44. Oukseh Lee, Hongseok Yang, Rasmus Petersen
    Pages 592-608
  45. Guodong Li, Indradeep Ghosh, Sreeranga P. Rajan
    Pages 609-615

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
  • Buy this book on publisher's site