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 at University of Trier