11. TACAS 2005: Edinburgh, UK (Part of ETAPS 2005)

Invited Paper

Regular Model-Checking

Infinite State Systems

Abstract Interpretation

Automata and Logics

Probabilistic Systems, Probabilistic Model-Checking

Satisfiability

Testing

Abstraction and Reduction

Specification, Program Synthesis

Model-Checking

Tool Presentations