Automated Technology for Verification and Analysis

Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings

  • Farn Wang
Conference proceedings ATVA 2004

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

Table of contents

  1. Front Matter
  2. Keynote Speech

  3. Invited Speech

  4. Papers

    1. Fang Yu, Bow-Yaw Wang
      Pages 20-33
    2. David Sinclair, David Gray, Geoff Hamilton
      Pages 49-63
    3. Ehud Friedgut, Orna Kupferman, Moshe Y. Vardi
      Pages 64-78
    4. Shougo Ogata, Tatsuhiro Tsuchiya, Tohru Kikuno
      Pages 79-92
    5. Jérôme Leroux
      Pages 93-107
    6. Atsushi Moritomo, Kiyoharu Hamaguchi, Toshinobu Kashiwabara
      Pages 108-119
    7. Robi Malik, David Streader, Steve Reeves
      Pages 120-134
    8. Ivan Cibrario B., Luca Durante, Riccardo Sisto, Adriano Valenzano
      Pages 135-149
    9. Cyrille Artho, Klaus Havelund, Armin Biere
      Pages 150-164
    10. Kairong Qian, Albert Nymeyer
      Pages 165-178
    11. Tadaaki Tanimoto, Suguru Sasaki, Akio Nakata, Teruo Higashino
      Pages 179-195
    12. Serge Haddad, Jean-Michel Ilié, Kais Klai
      Pages 196-210

About these proceedings

Keywords

Compiler complexity embedded systems formal methods formal specification model checking optimization organization petri net petri nets program analysis protocol verification software verification systems analysis systems design

Editors and affiliations

  • Farn Wang
    • 1
  1. 1.Grad. Inst. of Electronic EngineeringNational Taiwan UniversityTaiwan, ROC

Bibliographic information

  • DOI https://doi.org/10.1007/b102065
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-23610-8
  • Online ISBN 978-3-540-30476-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book