Verification, Model Checking, and Abstract Interpretation

17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

  • Barbara Jobstmann
  • K. Rustan M. Leino
Conference proceedings VMCAI 2016

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 9583)

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Invited Talks

    1. Front Matter
      Pages 1-1
    2. Thomas Reps, Aditya Thakur
      Pages 3-40
    3. Peter Müller, Malte Schwerhoff, Alexander J. Summers
      Pages 41-62
  3. Abstract Interpretation

    1. Front Matter
      Pages 63-63
    2. Alexander Bakst, Ranjit Jhala
      Pages 65-84
    3. Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
      Pages 85-103
    4. Noam Rinetzky, Sharon Shoham
      Pages 104-123
  4. Abstraction

    1. Front Matter
      Pages 125-125
    2. Egor George Karpenkov, David Monniaux, Philipp Wendler
      Pages 127-146
    3. Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
      Pages 147-165
    4. Alexandre Maréchal, Alexis Fouilhé, Tim King, David Monniaux, Michael Périn
      Pages 166-184
    5. Hila Peleg, Sharon Shoham, Eran Yahav
      Pages 185-205
    6. Benjamin Hillery, Eric Mercer, Neha Rungta, Suzette Person
      Pages 206-225
  5. Hybrid and Timed Systems

    1. Front Matter
      Pages 227-227
    2. Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo
      Pages 229-249
    3. Thomas A. Henzinger, Jan Otop, Roopsha Samanta
      Pages 250-267
    4. Andrew Sogokon, Khalil Ghorbal, Paul B. Jackson, André Platzer
      Pages 268-288
  6. Dynamic and Static Verification

    1. Front Matter
      Pages 289-289
    2. Gerard J. Holzmann
      Pages 311-327
    3. Przemysław Daca, Ashutosh Gupta, Thomas A. Henzinger
      Pages 328-347
  7. Probabilistic Systems

    1. Front Matter
      Pages 349-349
    2. Vahid Hashemi, Holger Hermanns, Lei Song
      Pages 351-371
    3. Benoît Delahaye, Didier Lime, Laure Petrucci
      Pages 372-390
  8. Concurrent Programs

    1. Front Matter
      Pages 391-391
    2. Frédéric Haziza, Lukáš Holík, Roland Meyer, Sebastian Wolff
      Pages 393-412
    3. Marko Doko, Viktor Vafeiadis
      Pages 413-430
    4. Kamil Dudka, Lukáš Holík, Petr Peringer, Marek Trtík, Tomáš Vojnar
      Pages 431-452
  9. Parameterized and Component-Based Systems

    1. Front Matter
      Pages 453-453
    2. Anthony W. Lin, Truong Khanh Nguyen, Philipp Rümmer, Jun Sun
      Pages 455-475
    3. Simon Außerlechner, Swen Jacobs, Ayrat Khalimov
      Pages 476-494
    4. Ilaria De Crescenzo, Salvatore La Torre
      Pages 495-513
  10. Solver Improvements

    1. Front Matter
      Pages 515-515
    2. Sagar Chaki, Derrick Karimi
      Pages 517-535
    3. Martin Brain, Liana Hadarean, Daniel Kroening, Ruben Martins
      Pages 536-556
  11. Back Matter
    Pages 557-558

About these proceedings


This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The  24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected from 67 submissions. 
VMCAI provides 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.


cloud computing complexity distributed systems logic model checking timed automata concurrency constraint-based reasoning formal verification hybrid systems massive parallelism parallelism reactive synthesis robustness SAT-solvers simulations/bisimulations software testing software verification swarm verification symbolic execution weighted automata

Editors and affiliations

  • Barbara Jobstmann
    • 1
  • K. Rustan M. Leino
    • 2
  1. 1.EPFL IC-DOLausanneSwitzerland
  2. 2.Microsoft ResearchRedmondUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2016
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-662-49121-8
  • Online ISBN 978-3-662-49122-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software