2nd International Workshop on Parallel and Distributed Model Checking

PDMC 2003

July 14, 2003, Boulder, Colorado, USA
Affiliated to CAV 2003, 8 - 12 July 2003.


[ Home | Programme ]

Workshop Speakers
Pictures taken by Tamir Heyman

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