Advertisement

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
    13. Abdur Rakib, Oleg Parshin, Stephan Thesing, Reinhard Wilhelm
      Pages 211-229
    14. I. Gordin, R. Leviathan, A. Pnueli
      Pages 230-247
    15. Sébastien Bardin, Alain Finkel
      Pages 248-262
    16. Ansgar Fehnker, Bruce H. Krogh
      Pages 263-277
    17. Tarek Mhamdi, Sofiène Tahar
      Pages 278-293
    18. Konstantine Arkoudas
      Pages 294-309
    19. Orna Kupferman, Gila Morgenstern, Aniello Murano
      Pages 324-338
    20. Denduang Pradubsuwun, Tomohiro Yoneda, Chris Myers
      Pages 339-353
    21. Te-Chang Lee, Pao-Ann Hsiung
      Pages 354-368
    22. M. Karol, P. Krishnan, J. J. Li
      Pages 392-401
    23. Trong-Yen Lee, Yang-Hsin Fan, Tsung-Hsun Yang, Chia-Chun Tsai, Wen-Ta Lee, Yuh-Shyan Hwang
      Pages 415-425
    24. Scott Little, David Walter, Nicholas Seegmiller, Chris Myers, Tomohiro Yoneda
      Pages 426-440
    25. Fang Wang, Sofiène Tahar, Otmane Ait Mohamed
      Pages 441-455
    26. ShengYu Shen, Ying Qin, SiKun Li
      Pages 456-469
    27. Anyi Chen, Jian-Ming Wang, Chiu-Han Hsiao
      Pages 470-473
    28. Tsung Lee, Pen-Ho Yu
      Pages 474-478
    29. Jin Hyun Kim, Su-Young Lee, Young Ah Ahn, Jae Hwan Sim, Jin Seok Yang, Na Young Lee et al.
      Pages 479-482
    30. Hans Bherer, Jules Desharnais, Marc Frappier, Richard St-Denis
      Pages 487-490
    31. Tun Li, Yang Guo, Si-Kun Li
      Pages 495-498
    32. Kai-Hui Chang, Wei-Ting Tu, Yi-Jong Yeh, Sy-Yen Kuo
      Pages 499-504
  5. Back Matter

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
  • Buy this book on publisher's site