Skip to main content
SpringerLink
Log in
Book cover

Automated Technology for Verification and Analysis

12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Franck Cassez

    1. NICTA, Kensington, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jean-François Raskin

    1. Départament d’Informatique, Université Libre de Bruxelles (U.L.B.), Belgium

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

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

Included in the following conference series:

Conference proceedings info: ATVA 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 (29 papers)

  1. Front Matter

    Download chapter PDF

  2. Verifying Communicating Multi-pushdown Systems via Split-Width

    • C. Aiswarya, Paul Gastin, K. Narayan Kumar
    Pages 1-17

  3. Booster: An Acceleration-Based Verification Framework for Array Programs

    • Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
    Pages 18-23

  4. A Bounded Model Checker for SPARK Programs

    • Cláudio Belo Lourenço, Maria João Frade, Jorge Sousa Pinto
    Pages 24-30

  5. Acceleration of Affine Hybrid Transformations

    • Bernard Boigelot, Frédéric Herbreteau, Isabelle Mainz
    Pages 31-46

  6. A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol

    • Timothy Bourke, Rob van Glabbeek, Peter Höfner
    Pages 47-63

  7. Quantitative Verification of Weighted Kripke Structures

    • Patricia Bouyer, Patrick Gardy, Nicolas Markey
    Pages 64-80

  8. Formal Safety Assessment via Contract-Based Design

    • Marco Bozzano, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta
    Pages 81-97

  9. Verification of Markov Decision Processes Using Learning Algorithms

    • Tomáš Brázdil, Krishnendu Chatterjee, Martin Chmelík, Vojtěch Forejt, Jan Křetínský, Marta Kwiatkowska et al.
    Pages 98-114

  10. Test Coverage Estimation Using Threshold Accepting

    • Thao Dang, Noa Shalev
    Pages 115-128

  11. On Time with Minimal Expected Cost!

    • Alexandre David, Peter G. Jensen, Kim Guldstrand Larsen, Axel Legay, Didier Lime, Mathias Grund Sørensen et al.
    Pages 129-145

  12. Fast Debugging of PRISM Models

    • Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen
    Pages 146-162

  13. ACME: Automata with Counters, Monoids and Equivalence

    • Nathanaël Fijalkow, Denis Kuperberg
    Pages 163-167

  14. Modelling and Analysis of Markov Reward Automata

    • Dennis Guck, Mark Timmer, Hassan Hatefi, Enno Ruijters, Mariëlle Stoelinga
    Pages 168-184

  15. Extensional Crisis and Proving Identity

    • Ashutosh Gupta, Laura Kovács, Bernhard Kragl, Andrei Voronkov
    Pages 185-200

  16. Deciding Entailments in Inductive Separation Logic with Tree Automata

    • Radu Iosif, Adam Rogalewicz, Tomáš Vojnar
    Pages 201-218

  17. Liveness Analysis for Parameterised Boolean Equation Systems

    • Jeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse
    Pages 219-234

  18. Rabinizer 3: Safraless Translation of LTL to Small Deterministic Automata

    • Zuzana Komárková, Jan Křetínský
    Pages 235-241

  19. PeCAn: Compositional Verification of Petri Nets Made Easy

    • Dinh-Thuan Le, Huu-Vu Nguyen, Van-Tinh Nguyen, Phuong-Nam Mai, Bao-Trung Pham-Duy, Thanh-Tho Quan et al.
    Pages 242-247

  20. The Context-Freeness Problem Is coNP-Complete for Flat Counter Systems

    • Jérôme Leroux, Vincent Penelle, Grégoire Sutre
    Pages 248-263
Back to top

Other volumes

  1. Automated Technology for Verification and Analysis

Keywords

About this book

This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014.

The 29 revised papers presented in this volume were carefully reviewed and selected from 76 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.

Editors and Affiliations

  • NICTA, Kensington, Australia

    Franck Cassez

  • Départament d’Informatique, Université Libre de Bruxelles (U.L.B.), Belgium

    Jean-François Raskin

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation