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

maintained by Schloss Dagstuhl LZI, founded at University of Trier