5th International Workshop on
Parallel and Distributed Methods in verifiCation

PDMC 2006

Thursday, August 31, 2006, Bonn, Germany
Affiliated to CONCUR 2006 , August 27–30, 2006.

[ home ] [ Submission Page ] [ Call for Papers ] [ Accepted Papers ] [ Programme ] [ Registration ]

Distributed Colored Petri Net Model-Checking with Galaxy
Christophe Pajault, Jean-François Pradat-Peyre
Parallel Algorithms for Finding SCCs in Implicitly Given Graphs
Jirí Barnat, Pavel Moravec
Can Saturation be Parallelised? On the Parallelisation of a Symbolic State-Space Generator
Jonathan Ezekiel, Gerald Luettgen, Radu Siminiceanu
Parallel SAT-Solving in Bounded Model Checking
Erika Ábrahám, Bernd Becker, Martin Fränzle, Christian Herde, Tobias Schubert

Distributed Guided State Space Exploration for Scheduling Problems
Anton Wijs
Distributed Qualitative LTL Model Checking of Markov Decision Processes
Jirí Barnat, Luboš Brim, Ivana Cerná, Milan Ceška, Jana Tůmová