Verification, Model Checking, and Abstract Interpretation

13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings

  • Viktor Kuncak
  • Andrey Rybalchenko
Conference proceedings VMCAI 2012

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

Table of contents

  1. Front Matter
  2. Ahmed Bouajjani, Cezara Drăgoi, Constantin Enea, Mihaela Sighireanu
    Pages 1-22
  3. Ranjit Jhala
    Pages 23-23
  4. Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik
    Pages 39-55
  5. Samik Basu, Tevfik Bultan, Meriem Ouederni
    Pages 56-71
  6. Amir M. Ben-Amram, Samir Genaim, Abu Naser Masud
    Pages 72-87
  7. Laura Bozzelli, Sophie Pinchinat
    Pages 88-103
  8. Sagar Chaki, Arie Gurfinkel, Ofer Strichman
    Pages 119-135
  9. Nathaniel Charlton, Ben Horsfall, Bernhard Reus
    Pages 136-151
  10. Krishnendu Chatterjee, Vishwanath Raman
    Pages 152-168
  11. Rayna Dimitrova, Bernd Finkbeiner, Máté Kovács, Markus N. Rabe, Helmut Seidl
    Pages 169-185
  12. Evren Ermis, Jochen Hoenicke, Andreas Podelski
    Pages 186-201
  13. Pietro Ferrara, Peter Müller
    Pages 202-218
  14. Bernd Finkbeiner, Swen Jacobs
    Pages 219-234
  15. Khalil Ghorbal, Franjo Ivančić, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta
    Pages 235-250
  16. Falk Howar, Bernhard Steffen, Bengt Jonsson, Sofia Cassel
    Pages 251-266
  17. Johannes Kinder, Dmitry Kravchenko
    Pages 267-282
  18. Uri Klein, Nir Piterman, Amir Pnueli
    Pages 283-298
  19. Woosuk Lee, Wonchan Lee, Kwangkeun Yi
    Pages 299-314
  20. K. Rustan M. Leino
    Pages 315-331
  21. Everett Morse, Nick Vrvilo, Eric Mercer, Jay McCarthy
    Pages 332-347
  22. Kedar S. Namjoshi, Richard J. Trefler
    Pages 348-362
  23. Duckki Oe, Aaron Stump, Corey Oliver, Kevin Clancy
    Pages 363-378
  24. Stan Rosenberg, Anindya Banerjee, David A. Naumann
    Pages 379-395
  25. Joshua Sack, Lijun Zhang
    Pages 396-411
  26. Stephen F. Siegel, Timothy K. Zirkel
    Pages 412-427
  27. Christian von Essen, Barbara Jobstmann
    Pages 428-444
  28. Damien Zufferey, Thomas Wies, Thomas A. Henzinger
    Pages 445-460
  29. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.


access permissions concurrency control flow disassembly validation

Editors and affiliations

  • Viktor Kuncak
    • 1
  • Andrey Rybalchenko
    • 2
  1. 1.Swiss Federal Institute of Technology Lausanne (EPFL), IC IIF LARA INR 318LausanneSwitzerland
  2. 2.Institut für InformatikTechnische Universität MünchenMunichGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-27939-3
  • Online ISBN 978-3-642-27940-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site