8th International Workshop on
Parallel and Distributed Methods in verifiCation

PDMC 2009

Wednesday, November 4, 2009, Eindhoven, The Netherlands
Collocating with Formal Methods 2009, November 2 - November 6, 2009
and other related events for the first time under the heading of Formal Methods Week.

[ Home ] [ Submission Page ] [ Call for Papers ] [ Accepted Papers ] [ Instructions for Authors ] [ Programme ] [ Registration ] [ PDMC.CZ ]

Accepted Regular Papers

Distributed Branching Bisimulation Minimization by Inductive Signatures
Stefan Blom and Jaco van de Pol
Efficient parallel statistical Model Checking of Biochemical Networks
Paolo Ballarini, Tommaso Mazza, Davide Prandi and Michele Forlin
Tarmo: A Framework for Parallelized Bounded Model Checking
Siert Wieringa, Matti Niemenmaa and Keijo Heljanko
An Efficient Explicit-time Description Method for Timed Model Checking
Hao Wang and Wendy MacCaull
Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs
Fuad Abujarad, Borzoo Bonakdarpour and Sandeep Kulkarni
Formal Aspects of Grid Brokering
Attila Kertesz and Zsolt Nemeth

Accepted Tool Papers

DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking
Jiri Barnat, Lubos Brim and Milan Ceska

Work-in-progress Reports

Efficient Explicit-State Model Checking on General Purpose Graphic Processors
Stefan Edelkamp and Damian Sulewski
MC-LAB: A Model Checking Laboratory
Thorsten Hoeger and Martin Leucker
Workflow Verification with DiVinE
Nazia Leyla, Ahmed Mashiyat, Hao Wang and Wendy MacCaull
Parallel Model Checking of Event-B Specification with ProB
Jens Bendisposto and Michael Leuschel

8th International Workshop on Parallel and Distributed Methods in verifiCation

PDMC 2009

Accepted Regular Papers

Accepted Tool Papers

Work-in-progress Reports

8th International Workshop on
Parallel and Distributed Methods in verifiCation