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

DOI: 10.1007/978-3-642-27940-9

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

About these proceedings

Introduction

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.

Keywords

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

  • 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