15. TACAS 2009: York, UK (Part of ETAPS 2009)

Model Checking I

Tools I

Game-Theoretic Approaches

Verification of Concurrent Programs

Tools II

Model Checking II

Parametric Analysis

Generative Approaches

Program Analysis

Hybrid Systems

Decision Procedures and Theorem Proving

Invited Contribution

maintained by Schloss Dagstuhl LZI at University of Trier