International Conference on Verification, Model Checking, and Abstract Interpretation

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

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

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-3-662-49122-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 2016
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-49121-8
  • Online ISBN 978-3-662-49122-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book