Skip to main content
SpringerLink
Log in
Book cover

Verification, Model Checking, and Abstract Interpretation

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

  • Conference proceedings
  • © 2012

Overview

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)

Included in the following conference series:

Conference proceedings info: VMCAI 2012.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (29 papers)

  1. Front Matter

    Download chapter 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

  4. Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs

    • Tobias Nipkow
    Pages 24-38

  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

  9. On Application of Multi-Rooted Binary Decision Diagrams to Probabilistic Model Checking

    • Dmitry Bugaychenko
    Pages 104-118

  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

Keywords

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.

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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation