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

Refine list

showing all ?? records

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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics