8. TACAS 2002: Grenoble, France (Part of ETAPS 2002)

Invited Contributions

Real-Time and Probabilistic Systems



Software Verification

Infinite-State and Parametic Systems

Model Checking: Logics and Algorithms

Model Checking and Testing

Partial-Order and Simulation Techniques

Debugging with Model Checking

Tool Papers

a service of Schloss Dagstuhl - Leibniz Center for Informatics