Automated Technology for Verification and Analysis

Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings

  • Doron A. Peled
  • Yih-Kuen Tsay
Conference proceedings ATVA 2005

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

Table of contents

  1. Front Matter
  2. Keynote Speeches

  3. Model Checking

    1. Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster
      Pages 11-25
    2. Debashis Sahoo, Jawahar Jain, Subramanian Iyer, David Dill
      Pages 26-38
    3. Y. Zhao, M. Kardos, S. Oberthür, F. J. Rammig
      Pages 39-53
    4. Giuseppe Della Penna, Igor Melatti, Benedetto Intrigila, Enrico Tronci
      Pages 54-68
  4. Combined Methods

    1. Yongsun Choi, J. Leon Zhao
      Pages 84-98
  5. Timed, Embedded, and Hybrid Systems (I)

  6. Abstraction and Reduction Techniques

    1. Tun Li, Yang Guo, SiKun Li, GongJie Liu
      Pages 174-186
    2. S. Evangelista, S. Haddad, J. -F. Pradat-Peyre
      Pages 202-216
  7. Decidability and Complexity

    1. Isao Yagi, Yoshiaki Takata, Hiroyuki Seki
      Pages 234-247
    2. Stéphane Demri, David Nowak
      Pages 248-262
    3. Bernd Finkbeiner, Sven Schewe
      Pages 263-277
  8. Established Formalisms and Standards

    1. Xiaoyu Mao, Janette Cardoso, Robert Valette
      Pages 278-292
    2. B. Bérard, F. Cassez, S. Haddad, Didier Lime, O. H. Roux
      Pages 293-307
    3. Olivier Tardieu, Stephen A. Edwards
      Pages 323-337
  9. Compositional Verification and Games

    1. Purandar Bhaduri
      Pages 338-353
    2. Sharon Shoham, Orna Grumberg
      Pages 354-369
  10. Timed, Embedded, and Hybrid Systems (II)

    1. Shang-Wei Lin, Pao-Ann Hsiung, Chun-Hsian Huang, Yean-Ru Chen
      Pages 370-384
  11. Protocols Analysis, Case Studies, and Tools

    1. Jean-Marie Orset, Baptiste Alcalde, Ana Cavalli
      Pages 400-413
    2. Gary Lindstrom, Peter C. Mehlitz, Willem Visser
      Pages 444-456
  12. Infinite-State and Parameterized Systems

    1. Sébastien Bardin, Alain Finkel, Jérôme Leroux, Philippe Schnoebelen
      Pages 474-488
    2. Jérôme Leroux, Grégoire Sutre
      Pages 489-503
  13. Back Matter

About these proceedings


The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT industry, particularly hardware design and manufacturing in East Asia. Its purpose is to promote research on automated veri?cation and analysis in the region by providing a forum for int- action between the regional and the international research/industrial commu- ties of the ?eld. ATVA 2005, the third of the ATVA series, was held in Taipei, Taiwan, October 4–7, 2005. The main theme of the symposium encompasses - sign, complexities, tools, and applications of automated methods for veri?cation and analysis. The symposium was co-located and had a two-day overlap with FORTE 2005, which was held October 2–5, 2005. We received a total of 95 submissions from 17 countries. Each submission was assigned to three Program Committee members, who were helped by their subreviewers, for rigorous and fair evaluation. The ?nal deliberation by the P- gram Committee was conducted over email for a duration of about 10 days after nearly all review reports had been collected. In the end, 33 papers were - lectedforinclusionintheprogram.ATVA2005hadthreekeynotespeechesgiven respectively by Amir Pnueli (joint with FORTE 2005), Zohar Manna, and Wo- gang Thomas. The main symposium was preceded by a tutorial day, consisting of three two-hour lectures given also by the keynote speakers.


Hub Java XML automata complexity formal methods hybrid systems logic model checking petri net program analysis programming protocol verification refinement systems design

Editors and affiliations

  • Doron A. Peled
    • 1
  • Yih-Kuen Tsay
    • 2
  1. 1.Department of Computer ScienceBar Ilan UniversityRamat GanIsrael
  2. 2.Department of Information ManagementNational Taiwan UniversityTaiwan

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Energy, Utilities & Environment
Oil, Gas & Geosciences