Verification, Model Checking, and Abstract Interpretation

12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

  • Ranjit Jhala
  • David Schmidt

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

Table of contents

  1. Front Matter
  2. David L. Dill
    Pages 1-1
  3. Stephen F. Siegel, Ganesh Gopalakrishnan
    Pages 2-18
  4. Bernhard Steffen, Oliver Rüthing
    Pages 23-37
  5. Elvira Albert, Samir Genaim, Abu Naser Masud
    Pages 38-53
  6. Sébastien Bardin, Philippe Herrmann, Franck Védrine
    Pages 54-69
  7. Aaron R. Bradley
    Pages 70-87
  8. Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl
    Pages 88-102
  9. Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
    Pages 103-117
  10. Chih-Hong Cheng, Harald Rueß, Alois Knoll, Christian Buckl
    Pages 118-133
  11. Byron Cook, Jasmin Fisher, Elzbieta Krepska, Nir Piterman
    Pages 134-149
  12. Patrick Cousot, Radhia Cousot, Francesco Logozzo
    Pages 150-168
  13. Alastair F. Donaldson, Leopold Haller, Daniel Kroening
    Pages 169-183
  14. Robert Frohardt, Bor-Yuh Evan Chang, Sriram Sankaranarayanan
    Pages 184-198
  15. Thomas Martin Gawlitza, Peter Lammich, Markus Müller-Olm, Helmut Seidl, Alexander Wenner
    Pages 199-213
  16. Alexander Gotmanov, Satrajit Chatterjee, Michael Kishinevsky
    Pages 214-231
  17. Eric Goubault, Sylvie Putot
    Pages 232-247
  18. Pieter Hooimeijer, Margus Veanes
    Pages 248-262
  19. Falk Howar, Bernhard Steffen, Maik Merten
    Pages 263-277

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located with the Symposium on Principles of Programming Languages, POPL 2011.

The 24 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 71 initial submissions. The papers showcases state-of-the-art research in areas such as verification, model checking, abstract interpretation and address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Further topics covered are static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.

Keywords

communication fabrics contract deadlocks deductive methods design by contract

Editors and affiliations

  • Ranjit Jhala
    • 1
  • David Schmidt
    • 2
  1. 1.UC San DiegoUSA
  2. 2.Department of Computing and Information SciencesKansas State UniversityManhattanUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-18275-4
  • Copyright Information Springer Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-18274-7
  • Online ISBN 978-3-642-18275-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book