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
Keynote Speeches
Amir Pnueli: Ranking Abstraction as a Companion to Predicate Abstraction, .
1
Werner Damm, Guilherme Pinto, Stefan Ratschan: Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems.
99-113
A. Dubey, X. Wu, H. Su, T. J. Koo: Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach.
114-128
Andrei Voinikonis: Quantitative and Qualitative Analysis of Temporal Aspects of Complex Activities.
129-143
Geng-Dian Huang, Farn Wang: Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems.
144-158
Abstraction and Reduction Techniques
Maciej Szreter: Selective Search in Bounded Model Checking of Reachability Properties.
159-173
Tun Li, Yang Guo, Sikun Li, GongJie Liu: Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming.
174-186
Venkatesh Mysore, Carla Piazza, Bud Mishra: Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology.
217-233
Pierre Combes, David Harel, Hillel Kugler: Modeling and Verification of a Telecommunication Application Using Live Sequence Charts and the Play-Engine Tool.
414-428
Moonzoo Kim, Kyo Chul Kang: Formal Construction and Verification of Home Service Robots: A Case Study.
429-443
data released under the ODC-BY 1.0 license
