10. TACAS 2004: Barcelona, Spain (Part of ETAPS 2004)

Theorem Proving

Probabilistic Model Checking

Testing

Tools

Explicite State / Petri Nets

Scheduling

Constraint Solving

Timed Systems

Case Studies

Software

Temporal Logic

Abstraction

Automata Techniques