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

a service of Schloss Dagstuhl - Leibniz Center for Informatics