13. SPIN 2006: Vienna, Austria

Directed Model Checking

Markovian Systems

Distributed Model Checking

Advanced Handling of Data Aspects

Applications

Assume-Guarantee

Partial Order Reduction

Tool Demonstrations

maintained by Schloss Dagstuhl LZI at University of Trier