12. TACAS 2006: Vienna, Austria (Part of ETAPS 2006)

Invited Contributions

Parametrization and Slicing

Symbolic Techniques

Satisfiability

Abstraction

Model Checking Algorithms

Program Verification

Runtime Diagnostics

Quantitative Techniques

Tool Demonstrations

Refinement

maintained by Schloss Dagstuhl LZI at University of Trier