PDMC 2004 (September 4, 2004)

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 | Instructions for Authors | Programme | Registration ]

Accepted Papers

On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus
V. Braberman, A. Olivero, F. Schapachnik

Distributed On-the-Fly Equivalence Checking
Christophe Joubert and Radu Mateescu

A State Space Distribution Policy based on Abstract Interpretation
Simona Orzan Jaco van de Pol Miguel Valero Espada

Load Balancing Parallel Explicit State Model Checking
Rahul Kumar and Eric G. Mercer

Parallel Multithreaded Satisfiability Solver: Design and Implementation
Yulik Feldman, Nachum Dershowitz, Ziyad Hanna

UppDMC: A Distributed Model Checker for Fragments of the mu-Calculus
Fredrik Holmen, Martin Leucker, Marcus Lindstrom

Distributed Partial Order Reduction of State Spaces
Lubos Brim, Ivana Cerna, Pavel Moravec and Jiri Simsa

CTL* Model Checking on a Shared-Memory Architecture
Cornelia P. Inggs and Howard Barringer

Parallel and Symbolic Model Checking for Fixpoint Logic with Chop
Martin Lange, Hans Wolfgang Loidl