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

Refine list

showing all ?? records

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