Orna Grumberg opening the workshop
Invited talk given by Assaf Schuster (Haifa, Israel)
Distributed Model Checking - Experiences, Lessons, and Expectations
Parallel Model Checking for LTL, CTL*, and Lmu2
presented by Martin Leucker
Using Assumptions to Distribute AFMC Model Checking
presented by Jitka Zidkova
Distributed Explicit Bounded LTL Model Checking
presented by Pavel Krcal
Random Walk Based Heuristic Algorithms for Distributed Memory Model Checking
presented by Hemanthkumar Sivaraj
Compressed and Distributed File Formats for Labeled Transition Systems and
Distributed Branching Bisimulation Reduction of State Spaces
both presented by Stefan Blom
Benchmarking Explicit State Parallel Model Checkers
presented by Eric Mercer
From Abstract Distributed Model Checking to Concrete Implementation
presented by Christophe Joubert