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

    1. Ansgar Fehnker, Ralf Huuck, Sean Seefried
      Pages 255-270
    2. Alarico Campetelli, Alexander Gruler, Martin Leucker, Daniel Thoma
      Pages 289-305
    3. Jacob M. Howe, Andy King
      Pages 306-320
  9. Fault Tolerant Systems

    1. Rayna Dimitrova, Bernd Finkbeiner
      Pages 321-336
    2. Sandip Ray, Kecheng Hao, Yan Chen, Fei Xie, Jin Yang
      Pages 337-351
    3. Franck Cassez, Jérémy Dubreil, Hervé Marchand
      Pages 352-367
  10. Temporal Logic II

    1. Geng-Dian Huang, Lin-Zan Cai, Farn Wang
      Pages 382-396
  11. Back Matter

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

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-04760-2
  • Online ISBN 978-3-642-04761-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software