© 2009

Automated Technology for Verification and Analysis

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

  • Zhiming Liu
  • Anders P. Ravn
Conference proceedings ATVA 2009

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Mark R. Greenstreet
      Pages 1-20
    2. A. W. Roscoe, P. J. Armstrong, Pragyesh
      Pages 22-38
  3. State Space Reduction

    1. Jaco Geldenhuys, Henri Hansen, Antti Valmari
      Pages 39-53
    2. Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu
      Pages 69-83
  4. Tools

    1. Joakim Byg, Kenneth Yrke Jørgensen, Jiří Srba
      Pages 84-89
    2. Stephen Fenech, Gordon J. Pace, Gerardo Schneider
      Pages 90-96
    3. Michal Kebrt, Ondřej Šerý
      Pages 97-103
  5. Probabilistic Systems

    1. Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
      Pages 104-119
    2. Diana El Rabih, Nihal Pekergin
      Pages 120-134
    3. Christel Baier, Marcus Groesser, Frank Ciesinski
      Pages 135-150
  6. Medley

    1. Guanhua He, Shengchao Qin, Chenguang Luo, Wei-Ngan Chin
      Pages 166-181
    2. Oliver Friedmann, Martin Lange
      Pages 182-196
    3. Parosh Aziz Abdulla, Muhsin Atto, Jonathan Cederberg, Ran Ji
      Pages 197-212
  7. Temporal Logic I

    1. Alexandre Duret-Lutz, Denis Poitrenaud, Jean-Michel Couvreur
      Pages 213-227
    2. Hrishikesh Karmarkar, Supratik Chakraborty
      Pages 228-243
    3. Christian Dax, Felix Klaedtke, Stefan Leue
      Pages 244-254

About these proceedings


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.


Action Analysis automata formal methods logic model checking petri nets program analysis req software engineering software verification systems analysis theorem proving validation verification

Editors and affiliations

  • Zhiming Liu
    • 1
  • Anders P. Ravn
    • 2
  1. 1.International Institute of Software Technology (UNI-IIST)United Nations UniversityMacaoChina
  2. 2.Department of Computer ScienceAalborg UniversityAalborgDenmark

Bibliographic information

Industry Sectors
IT & Software
Consumer Packaged Goods
Finance, Business & Banking