PDMC 2010

9th International Workshop on Parallel and Distributed Methods in verifiCation

joint with

2nd International Workshop on High Performance Computational Systems Biology (HiBi 2010)

September 30 - October 1, 2010, Twente, The Netherlands

Co-locating with
5th International Conference on Graph Transformation (ICGT 2010) , 29 September - 1 October, 2010
17th Annual workshop on Software Model Checking (SPIN 2010), 27 September - 29 September, 2010

Registration is now open (early registration deadline September 1)

Accepted Regular Papers

  • A General Lock-Free Algorithm for Parallel State Space Construction
    Rodrigo Tacla Saad, Silvano Dal Zilio and Bernard Berthomieu

  • Three High Performance Architectures in the Parallel Approximate Probabilistic Model Checking Boat
    Khaled Hamidouche, Alexandre Borghi, Pierre Esterie, Joel Falcou and Sylvain Peyronnet

  • Industrial Strength Distributed Explicit State Model Checking
    Brad Bingham, Jesse Bingham, John Erickson, Flavio M. de Paula, Mark Reitblatt and Gaurav Singh

  • A BSP algorithm for the state space construction of security protocols
    Michael Guedj, Frederic Gava and Franck Pommereau

Accepted Tool Papers

  • DiVinE: Parallel Distributed Model Checker (Tool paper)
    Jiri Barnat, Lubos Brim, Milan Ceska and Petr Rockai

  • PRISM for General Purpose Graphics Processing Units
    Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski and Anton Wijs