18. SPIN 2011: Snowbird, UT, USA

Invited Contributions

Abstractions and State-Space Reductions

Search Strategies

PROMELA Encodings and Extensions

Applications of Model Checking

Tool Demonstrations

maintained by Schloss Dagstuhl LZI, founded at University of Trier