3rd International Workshop on Parallel and Distributed Methods in verifiCation

PDMC 2004

Saturday 4 September 2004, London, U.K.
Affiliated to CONCUR'04 , 31 August - 3 September 2004.

 

[ Home | Call for Papers | Submission Page | Accepted Papers | Instructions for Authors | Registration ]

Programme

9:00   Opening
9:00 - 10:30 Session 1
9:00 - 9:30 V. Braberman, A. Olivero, F. Schapachnik:
On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus
9:30 - 10:00 Rahul Kumar and Eric G. Mercer:
Load Balancing Parallel Explicit State Model Checking
10:00 - 10:30 Cornelia P. Inggs and Howard Barringer:
CTL* Model Checking on a Shared-Memory Architecture
 
10:30 - 11:00 Break
 
11:00 - 12:00 Invited Talk
Boi B. Faltings (Swiss Federal Institute of Technology, Lausanne)
Distributed Constraint Satisfaction
 
12:05 - 12:50 Short Presentations
Andrew Usov:
Development of the Interpreter for Distributed ASMs
Lubos Brim, Ivana Cerna, Pavel Moravec and Jiri Simsa:
Parallelization of LTL Model-Checking by Exploring Maximal Acceptors
Marta Kwiatkowska, Rashid Mehmood, David Parker, Yi Zhang:
Dual Processor Parallelisation of Symbolic Probabilistic Model Checking
 
13:00 - 14:30 Lunch
 
14:30 - 16:00 Session 2
14:30 - 15:00 Christophe Joubert and Radu Mateescu:
Distributed On-the-Fly Equivalence Checking
15:00 - 15:30 Lubos Brim, Ivana Cerna, Pavel Moravec and Jiri Simsa:
Distributed Partial Order Reduction of State Spaces
15:30 - 16:00 Yulik Feldman, Nachum Dershowitz and Ziyad Hanna:
Parallel Multithreaded Satisfiability Solver: Design and Implementation
 
16:00 - 16:30 Break
 
16:30 - 18:00 Session 3
16:30 - 17:00 Fredrik Holmen, Martin Leucker and Marcus Lindstrom:
UppDMC: A Distributed Model Checker for Fragments of the mu-Calculus
17:00 - 17:30 Simona Orzan Jaco van de Pol Miguel Valero Espada:
A State Space Distribution Policy based on Abstract Interpretation
17:30 - 18:00 Martin Lange and Hans Wolfgang Loidl:
Parallel and Symbolic Model Checking for Fixpoint Logic with Chop
 
18:00 Closing the Workshop