17. SPIN 2010: Enschede, The Netherlands

Satisfiability Modulo Theories for Model Checking

Model Checking in Context

Implementation and Performance of Model Checking

LTL and Büchi Automata

Infinite State Models

Concurrent Software