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

maintained by Schloss Dagstuhl LZI at University of Trier