Skip to main content
SpringerLink
Log in
Book cover

Verification, Model Checking, and Abstract Interpretation

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

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Ranjit Jhala

    1. UC San Diego, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. David Schmidt

    1. Department of Computing and Information Sciences, Kansas State University, Manhattan, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • up-to-date results
  • fast tract conference proceedings
  • state-of-the-art report

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

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

Included in the following conference series:

Conference proceedings info: VMCAI 2011.

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 (28 papers)

  1. Front Matter

    Download chapter PDF

  2. Are Cells Asynchronous Circuits?

    • David L. Dill
    Pages 1-1

  3. Formal Analysis of Message Passing

    • Stephen F. Siegel, Ganesh Gopalakrishnan
    Pages 2-18

  4. Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation

    • Francesco Logozzo
    Pages 19-22

  5. Quality Engineering: Leveraging Heterogeneous Information

    • Bernhard Steffen, Oliver Rüthing
    Pages 23-37

  6. More Precise Yet Widely Applicable Cost Analysis

    • Elvira Albert, Samir Genaim, Abu Naser Masud
    Pages 38-53

  7. Refinement-Based CFG Reconstruction from Unstructured Programs

    • Sébastien Bardin, Philippe Herrmann, Franck Védrine
    Pages 54-69

  8. SAT-Based Model Checking without Unrolling

    • Aaron R. Bradley
    Pages 70-87

  9. Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic

    • Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl
    Pages 88-102

  10. Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds

    • Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
    Pages 103-117

  11. Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice

    • Chih-Hong Cheng, Harald Rueß, Alois Knoll, Christian Buckl
    Pages 118-133

  12. Proving Stabilization of Biological Systems

    • Byron Cook, Jasmin Fisher, Elzbieta Krepska, Nir Piterman
    Pages 134-149

  13. Precondition Inference from Intermittent Assertions and Application to Contracts on Collections

    • Patrick Cousot, Radhia Cousot, Francesco Logozzo
    Pages 150-168

  14. Strengthening Induction-Based Race Checking with Lightweight Static Analysis

    • Alastair F. Donaldson, Leopold Haller, Daniel Kroening
    Pages 169-183

  15. Access Nets: Modeling Access to Physical Spaces

    • Robert Frohardt, Bor-Yuh Evan Chang, Sriram Sankaranarayanan
    Pages 184-198

  16. Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation

    • Thomas Martin Gawlitza, Peter Lammich, Markus Müller-Olm, Helmut Seidl, Alexander Wenner
    Pages 199-213

  17. Verifying Deadlock-Freedom of Communication Fabrics

    • Alexander Gotmanov, Satrajit Chatterjee, Michael Kishinevsky
    Pages 214-231

  18. Static Analysis of Finite Precision Computations

    • Eric Goubault, Sylvie Putot
    Pages 232-247

  19. An Evaluation of Automata Algorithms for String Analysis

    • Pieter Hooimeijer, Margus Veanes
    Pages 248-262

  20. Automata Learning with Automated Alphabet Abstraction Refinement

    • Falk Howar, Bernhard Steffen, Maik Merten
    Pages 263-277
Back to top

Other volumes

  1. Verification, Model Checking, and Abstract Interpretation

Keywords

About this book

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.

Editors and Affiliations

  • UC San Diego, USA

    Ranjit Jhala

  • Department of Computing and Information Sciences, Kansas State University, Manhattan, USA

    David Schmidt

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation