Skip to main content
SpringerLink
Log in

Automated Technology for Verification and Analysis

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

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Cyrille Artho

    1. AIST , Osaka, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Axel Legay

    1. Inria Rennes , Rennes, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Doron Peled

    1. Bar Ilan University , Ramat Gan, Israel

    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 9938)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: ATVA 2016.

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 EPUB and 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 (32 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  3. Markov Models, Chains, and Decision Processes

    1. Front Matter

      Pages 11-11
      Download chapter PDF

    2. Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations

      • Alessandro Abate, Milan Češka, Marta Kwiatkowska
      Pages 13-31

    3. Optimizing the Expected Mean Payoff in Energy Markov Decision Processes

      • Tomáš Brázdil, Antonín Kučera, Petr Novotný
      Pages 32-49

    4. Parameter Synthesis for Markov Models: Faster Than Ever

      • Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
      Pages 50-67

    5. Bounded Model Checking for Probabilistic Programs

      • 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
      Download chapter PDF

    2. How Hard is It to Verify Flat Affine Counter Systems with the Finite Monoid Property?

      • Radu Iosif, Arnaud Sangnier
      Pages 89-105

    3. Solving Language Equations Using Flanked Automata

      • Florent Avellaneda, Silvano Dal Zilio, Jean-Baptiste Raclet
      Pages 106-121

    4. Spot 2.0 — A Framework for LTL and \(\omega \)-Automata Manipulation

      • Alexandre Duret-Lutz, Alexandre Lewkowicz, Amaury Fauchille, Thibaud Michaud, Étienne Renault, Laurent Xu
      Pages 122-129

    5. MoChiBA: Probabilistic LTL Model Checking Using Limit-Deterministic Büchi Automata

      • Salomon Sickert, Jan Křetínský
      Pages 130-137

  5. Parallelism, Concurrency

    1. Front Matter

      Pages 139-139
      Download chapter PDF

    2. Synchronous Products of Rewrite Systems

      • Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
      Pages 141-156

    3. Specifying and Verifying Secrecy in Workflows with Arbitrarily Many Agents

      • Bernd Finkbeiner, Helmut Seidl, Christian Müller
      Pages 157-173

    4. Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs

      • Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
      Pages 174-191

    5. Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems

      • Nikola Beneš, Luboš Brim, Martin Demko, Samuel Pastva, David Šafránek
      Pages 192-208

  6. Complexity, Decidability

    1. Front Matter

      Pages 209-209
      Download chapter PDF

    2. On Finite Domains in First-Order Linear Temporal Logic

      • Denis Kuperberg, Julien Brunel, David Chemouil
      Pages 211-226
Back to top

Other volumes

  1. Automated Technology for Verification and Analysis

Keywords

About this book

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. 

Editors and Affiliations

  • AIST , Osaka, Japan

    Cyrille Artho

  • Inria Rennes , Rennes, France

    Axel Legay

  • Bar Ilan University , Ramat Gan, Israel

    Doron Peled

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation