3. ATVA 2005: Taipei, Taiwan

Keynote Speeches

Model Checking

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