Automated Technology for Verification and Analysis

14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

  • Cyrille Artho
  • Axel Legay
  • Doron Peled

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 9938)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Keynote

  3. Markov Models, Chains, and Decision Processes

    1. Front Matter
      Pages 11-11
    2. Alessandro Abate, Milan Češka, Marta Kwiatkowska
      Pages 13-31
    3. Tomáš Brázdil, Antonín Kučera, Petr Novotný
      Pages 32-49
    4. Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
      Pages 50-67
    5. Nils Jansen, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen
      Pages 68-85
  4. Counter Systems, Automata

    1. Front Matter
      Pages 87-87
    2. Florent Avellaneda, Silvano Dal Zilio, Jean-Baptiste Raclet
      Pages 106-121
    3. Alexandre Duret-Lutz, Alexandre Lewkowicz, Amaury Fauchille, Thibaud Michaud, Étienne Renault, Laurent Xu
      Pages 122-129
  5. Parallelism, Concurrency

    1. Front Matter
      Pages 139-139
    2. Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
      Pages 141-156
    3. Bernd Finkbeiner, Helmut Seidl, Christian Müller
      Pages 157-173
    4. Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
      Pages 174-191
    5. Nikola Beneš, Luboš Brim, Martin Demko, Samuel Pastva, David Šafránek
      Pages 192-208
  6. Complexity, Decidability

    1. Front Matter
      Pages 209-209
    2. Denis Kuperberg, Julien Brunel, David Chemouil
      Pages 211-226

About these proceedings


This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016.

The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. They were organized in topical sections named: keynote; Markov models, chains, and decision processes; counter systems, automata; parallelism, concurrency; complexity, decidability; synthesis, refinement; optimization, heuristics, partial-order reductions; solving procedures, model checking; and program analysis. 


formal modeling hybrid systems model checking optimization program analysis complexity concurrency data center decidability dynamic programming GPGPU markov decision processes parallelism probabilistic model checking reachability analysis software certification static analysis symbolic execution temporal logic verification

Editors and affiliations

  • Cyrille Artho
    • 1
  • Axel Legay
    • 2
  • Doron Peled
    • 3
  1. 1.AIST OsakaJapan
  2. 2.Inria Rennes RennesFrance
  3. 3.Bar Ilan University Ramat GanIsrael

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing AG 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-46519-7
  • Online ISBN 978-3-319-46520-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site