6. ATVA 2008: Seoul, Korea

Invited Talks

Model Checking

Software Verification

Decision Procedures

Linear-Time Analysis

Tool Demonstration Papers

Timed and Stochastic Systems

Theory

Short Papers