9. FMCAD 2009: Austin, Texas, USA

Model Checking

Software Verification

Satisfiability Modulo Theory

Games

Quantitative Reasoning

Assume Guarantee Reasoning

Equivalence Checking

Debugging

Case Studies and Verification in the Large

Synthesis

maintained by Schloss Dagstuhl LZI at University of Trier