Skip to main content
SpringerLink
Log in

Automated Technology for Verification and Analysis

7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Zhiming Liu

    1. International Institute of Software Technology (UNI-IIST), United Nations University, Macao, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Anders P. Ravn

    1. Department of Computer Science, Aalborg University, Aalborg, Denmark

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

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

Included in the following conference series:

Conference proceedings info: ATVA 2009.

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. Abstraction and Refinement

    1. Incremental False Path Elimination for Static Software Analysis

      • Ansgar Fehnker, Ralf Huuck, Sean Seefried
      Pages 255-270

    2. A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement

      • Yael Meller, Orna Grumberg, Sharon Shoham
      Pages 271-288

    3. Don’t Know for Multi-valued Systems

      • Alarico Campetelli, Alexander Gruler, Martin Leucker, Daniel Thoma
      Pages 289-305

    4. Logahedra: A New Weakly Relational Domain

      • Jacob M. Howe, Andy King
      Pages 306-320

  2. Fault Tolerant Systems

    1. Synthesis of Fault-Tolerant Distributed Systems

      • Rayna Dimitrova, Bernd Finkbeiner
      Pages 321-336

    2. Formal Verification for High-Assurance Behavioral Synthesis

      • Sandip Ray, Kecheng Hao, Yan Chen, Fei Xie, Jin Yang
      Pages 337-351

    3. Dynamic Observers for the Synthesis of Opaque Systems

      • Franck Cassez, Jérémy Dubreil, Hervé Marchand
      Pages 352-367

  3. Temporal Logic II

    1. Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation

      • Yang Zhao, Gianfranco Ciardo
      Pages 368-381

    2. LTL Model Checking for Recursive Programs

      • Geng-Dian Huang, Lin-Zan Cai, Farn Wang
      Pages 382-396

    3. On Detecting Regular Predicates in Distributed Systems

      • Hongtao Huang
      Pages 397-411

  4. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Automated Technology for Verification and Analysis

Keywords

About this book

This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions. The papers are organized in topical sections on state space reduction, tools, probabilistic systems, medley, temporal logic, abstraction and refinement, and fault tolerant systems.

Editors and Affiliations

  • International Institute of Software Technology (UNI-IIST), United Nations University, Macao, China

    Zhiming Liu

  • Department of Computer Science, Aalborg University, Aalborg, Denmark

    Anders P. Ravn

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation