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 | Pictures ]

Programme

9:00   Opening
9:00 - 10:00 Invited Talk
Assaf Schuster (Haifa, Israel)
Distributed Model Checking - Experiences, Lessons, and Expectations
 
10:00 - 10:30 Break
 
10:30 - 12:00 Session 1
10:30 - 11:00 Martin Leucker, Rafal Somla and Michael Weber:
Parallel Model Checking for LTL, CTL*, and Lmu2
11:00 - 11:30 Lubos Brim and Jitka Zidkova:
Using Assumptions to Distribute AFMC Model Checking
11:30 - 12:00 Pavel Krcal:
Distributed Explicit Bounded LTL Model Checking
 
12:00 - 13:30 Lunch
 
13:30 - 15:00 Session 2
13:30 - 14:00 Hemanthkumar Sivaraj and Ganesh Gopalakrishnan:
Random Walk Based Heuristic Algorithms for Distributed Memory Model Checking
14:00 - 14:30 Stefan Blom, Izak van Langevelde and Bert Lisser:
Compressed and Distributed File Formats for Labeled Transition Systems
14:30 - 15:00 Mike Jones, Eric Mercer, Tonga Boa, Rahul Kumar and Peter Lamborn:
Benchmarking Explicit State Parallel Model Checkers
 
15:00 - 15:30 Break
 
15:30 - 16:30 Session 3
15:30 - 16:00 Stefan Blom and Simona Orzan:
Distributed Branching Bisimulation Reduction of State Spaces
16:00 - 16:30 Christophe Joubert:
From Abstract Distributed Model Checking to Concrete Implementation
 
16:30 - 16:45 Closing the Workshop