Verification, Model Checking, and Abstract Interpretation

15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

  • Kenneth L. McMillan
  • Xavier Rival
Conference proceedings VMCAI 2014

DOI: 10.1007/978-3-642-54013-4

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

Table of contents (26 papers)

  1. Front Matter
  2. SAT-Based Synthesis Methods for Safety Specs
    Roderick Bloem, Robert Könighofer, Martina Seidl
    Pages 1-20
  3. Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs
    Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Kalmer Apinis
    Pages 21-38
  4. Timing Analysis of Parallel Software Using Abstract Execution
    Andreas Gustavsson, Jan Gustafsson, Björn Lisper
    Pages 59-77
  5. Doomsday Equilibria for Omega-Regular Games
    Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot, Jean-François Raskin
    Pages 78-97
  6. Probabilistic Automata for Safety LTL Specifications
    Dileep Kini, Mahesh Viswanathan
    Pages 118-136
  7. Refuting Heap Reachability
    Bor-Yuh Evan Chang
    Pages 137-141
  8. Cascade 2.0
    Wei Wang, Clark Barrett, Thomas Wies
    Pages 142-160
  9. A Logic-Based Framework for Verifying Consensus Algorithms
    Cezara Drăgoi, Thomas A. Henzinger, Helmut Veith, Josef Widder, Damien Zufferey
    Pages 161-181
  10. Verifying Array Programs by Transforming Verification Conditions
    Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
    Pages 182-202
  11. Weakest Precondition Synthesis for Compiler Optimizations
    Nuno P. Lopes, José Monteiro
    Pages 203-221
  12. Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops
    Marius Bozga, Radu Iosif, Filip Konečný
    Pages 242-261
  13. Parameterized Model Checking of Token-Passing Systems
    Benjamin Aminof, Swen Jacobs, Ayrat Khalimov, Sasha Rubin
    Pages 262-281
  14. Modeling Parsimonious Putative Regulatory Networks: Complexity and Heuristic Approach
    Vicente Acuña, Andrés Aravena, Alejandro Maass, Anne Siegel
    Pages 322-336

About these proceedings


This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013. The 25 revised full papers presented were carefully reviewed and selected from 64 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.


SAT-solving complexity concurrency embedded programs parallelism

Editors and affiliations

  • Kenneth L. McMillan
    • 1
  • Xavier Rival
    • 2
  1. 1.One Microsoft WayMicrosoft ResearchRedmondUSA
  2. 2.DI - Ecole Normale SupérieureParis Cedex 05France

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2014
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-54012-7
  • Online ISBN 978-3-642-54013-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349