6th International Workshop on
Parallel and Distributed Methods in verifiCation
PDMC 2007
Sunday, July 8, 2007, Berlin, Germany
Affiliated to
CAV 2007
, July 3–7, 2007.
[
home
] [
Submission Page
] [
Call for Papers
] [
Accepted Papers
] [
Instructions for Authors
] [
Programme
] [
Registration
]
Accepted Regular Papers
Improved Distributed Algorithms for SCC Detection
Jiri Barnat, Jakub Chaloupka and Jaco van de Pol
Shared Hash Tables in Parallel Model Checking
Jiri Barnat and Petr Rockai
Measuring and Evaluating Parallel State-Space Exploration Algorithms
Jonathan Ezekiel and Gerald Lttgen
Distributed Verification of Multi-threaded C++ Programs
Stefan Edelkamp, Shahid Jabbar and Damian Sulewski
A Database Approach to Distributed State Space Generation
Stefan Blom, Bert Lisser, Jaco van de Pol and Michael Weber
Accepted Tool Papers
Distributed partial order reduction for security protocols
Mohammad Torabi Dashti and Anton Wijs
Work-in-progress Reports
Parallel CSRL Model Checking: First Results and Pointers to Future Research
Boudewijn Haverkort and Matthias Kuntz
Caching, Hashing, and Garbage Collection for Distributed State Space Construction
Ming-Ying Chung, Gianfranco Ciardo and Radu Siminiceanu
