Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2012

Verification, Model Checking, and Abstract Interpretation

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

Editors:

  1. Viktor Kuncak

    1. Swiss Federal Institute of Technology Lausanne (EPFL), IC IIF LARA INR 318, Lausanne, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Andrey Rybalchenko

    1. Institut für Informatik, Technische Universität München, Munich, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • State-of-the-art research
  • Fast-track conference proceedings
  • Unique visibility

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): VMCAI: International Conference on Verification, Model Checking, and Abstract Interpretation

Conference proceedings info: VMCAI 2012.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (29 papers)

  1. Front Matter

    PDF

  2. Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data

    • Ahmed Bouajjani, Cezara Drăgoi, Constantin Enea, Mihaela Sighireanu
    Pages 1-22

  3. Software Verification with Liquid Types

    • Ranjit Jhala
    Pages 23-23

  5. Whale: An Interpolation-Based Algorithm for Inter-procedural Verification

    • Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik
    Pages 39-55

  6. Synchronizability for Verification of Asynchronously Communicating Systems

    • Samik Basu, Tevfik Bultan, Meriem Ouederni
    Pages 56-71

  7. On the Termination of Integer Loops

    • Amir M. Ben-Amram, Samir Genaim, Abu Naser Masud
    Pages 72-87

  8. Verification of Gap-Order Constraint Abstractions of Counter Systems

    • Laura Bozzelli, Sophie Pinchinat
    Pages 88-103

  10. Regression Verification for Multi-threaded Programs

    • Sagar Chaki, Arie Gurfinkel, Ofer Strichman
    Pages 119-135

  11. Crowfoot: A Verifier for Higher-Order Store Programs

    • Nathaniel Charlton, Ben Horsfall, Bernhard Reus
    Pages 136-151

  12. Synthesizing Protocols for Digital Contract Signing

    • Krishnendu Chatterjee, Vishwanath Raman
    Pages 152-168

  13. Model Checking Information Flow in Reactive Systems

    • Rayna Dimitrova, Bernd Finkbeiner, Máté Kovács, Markus N. Rabe, Helmut Seidl
    Pages 169-185

  14. Splitting via Interpolants

    • Evren Ermis, Jochen Hoenicke, Andreas Podelski
    Pages 186-201

  15. Automatic Inference of Access Permissions

    • Pietro Ferrara, Peter Müller
    Pages 202-218

  16. Lazy Synthesis

    • Bernd Finkbeiner, Swen Jacobs
    Pages 219-234

  17. Donut Domains: Efficient Non-convex Domains for Abstract Interpretation

    • Khalil Ghorbal, Franjo Ivančić, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta
    Pages 235-250

  18. Inferring Canonical Register Automata

    • Falk Howar, Bernhard Steffen, Bengt Jonsson, Sofia Cassel
    Pages 251-266

  19. Alternating Control Flow Reconstruction

    • Johannes Kinder, Dmitry Kravchenko
    Pages 267-282

  20. Effective Synthesis of Asynchronous Systems from GR(1) Specifications

    • Uri Klein, Nir Piterman, Amir Pnueli
    Pages 283-298
Back to top

Other Volumes

  1. Verification, Model Checking, and Abstract Interpretation

Back to top

About this book

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.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Swiss Federal Institute of Technology Lausanne (EPFL), IC IIF LARA INR 318, Lausanne, Switzerland

    Viktor Kuncak

  • Institut für Informatik, Technische Universität München, Munich, Germany

    Andrey Rybalchenko

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation