Skip to main content
SpringerLink
Log in

Verification, Model Checking, and Abstract Interpretation

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

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Kenneth L. McMillan

    1. One Microsoft Way, Microsoft Research, Redmond, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Xavier Rival

    1. DI - Ecole Normale Supérieure, Paris Cedex 05, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: VMCAI 2014.

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

  1. Front Matter

    Download chapter PDF

  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. Relational Thread-Modular Static Value Analysis by Abstract Interpretation

    • Antoine Miné
    Pages 39-58

  5. Timing Analysis of Parallel Software Using Abstract Execution

    • Andreas Gustavsson, Jan Gustafsson, Björn Lisper
    Pages 59-77

  6. Doomsday Equilibria for Omega-Regular Games

    • Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot, Jean-François Raskin
    Pages 78-97

  7. Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes

    • Lei Song, Lijun Zhang, Jens Chr. Godskesen
    Pages 98-117

  8. Probabilistic Automata for Safety LTL Specifications

    • Dileep Kini, Mahesh Viswanathan
    Pages 118-136

  9. Refuting Heap Reachability

    • Bor-Yuh Evan Chang
    Pages 137-141

  10. Cascade 2.0

    • Wei Wang, Clark Barrett, Thomas Wies
    Pages 142-160

  11. A Logic-Based Framework for Verifying Consensus Algorithms

    • Cezara Drăgoi, Thomas A. Henzinger, Helmut Veith, Josef Widder, Damien Zufferey
    Pages 161-181

  12. Verifying Array Programs by Transforming Verification Conditions

    • Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
    Pages 182-202

  13. Weakest Precondition Synthesis for Compiler Optimizations

    • Nuno P. Lopes, José Monteiro
    Pages 203-221

  14. Message-Passing Algorithms for the Verification of Distributed Protocols

    • Loïg Jezequel, Javier Esparza
    Pages 222-241

  15. Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops

    • Marius Bozga, Radu Iosif, Filip Konečný
    Pages 242-261

  16. Parameterized Model Checking of Token-Passing Systems

    • Benjamin Aminof, Swen Jacobs, Ayrat Khalimov, Sasha Rubin
    Pages 262-281

  17. Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java

    • Zhoulai Fu
    Pages 282-301

  18. Generic Combination of Heap and Value Analyses in Abstract Interpretation

    • Pietro Ferrara
    Pages 302-321

  19. Modeling Parsimonious Putative Regulatory Networks: Complexity and Heuristic Approach

    • Vicente Acuña, Andrés Aravena, Alejandro Maass, Anne Siegel
    Pages 322-336

  20. Practical Floating-Point Tests with Integer Code

    • Anthony Romano
    Pages 337-356
Back to top

Other volumes

  1. Verification, Model Checking, and Abstract Interpretation

Keywords

About this book

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.

Editors and Affiliations

  • One Microsoft Way, Microsoft Research, Redmond, USA

    Kenneth L. McMillan

  • DI - Ecole Normale Supérieure, Paris Cedex 05, France

    Xavier Rival

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation