19. SPIN 2012: Oxford, UK

Invited Contributions

Model Checking Techniques

Parallel Model Checking 1

Case Studies

Parallel Model Checking 2

Model Checking for Concurrency

Tool Demonstrations