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