3. ATVA 2005:
Taipei,
Taiwan
Doron Peled, Yih-Kuen Tsay (Eds.):
Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings.
Lecture Notes in Computer Science 3707 Springer 2005, ISBN 3-540-29209-8 BibTeX
Keynote Speeches
Model Checking
- Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster:
Verifying Very Large Industrial Circuits Using 100 Processes and Beyond.
11-25
Electronic Edition (link) BibTeX
- Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill:
A New Reachability Algorithm for Symmetric Multi-processor Architecture.
26-38
Electronic Edition (link) BibTeX
- Yuhong Zhao, Martin Kardos, Simon Oberthür, Franz J. Rammig:
Comprehensive Verification Framework for Dependability of Self-optimizing Systems.
39-53
Electronic Edition (link) BibTeX
- Giuseppe Della Penna, Igor Melatti, Benedetto Intrigila, Enrico Tronci:
Exploiting Hub States in Automatic Verification.
54-68
Electronic Edition (link) BibTeX
Combined Methods
Timed,
Embedded,
and Hybrid Systems (I)
Abstraction and Reduction Techniques
Decidability and Complexity
Established Formalisms and Standards
Compositional Verification and Games
Timed,
Embedded,
and Hybrid Systems (II)
Protocols Analysis,
Case Studies,
and Tools
Infinite-State and Parameterized Systems
Copyright © Sat May 16 22:59:05 2009
by Michael Ley (ley@uni-trier.de)