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

Invited Contributions

Real-Time and Probabilistic Systems

Scheduling

Miscellaneous

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