PDMC 2011

10th International Workshop on Parallel and Distributed Methods in verifiCation

July 14, 2011, Cliff Lodge, Snowbird, Utah

Co-locating with
23rd International Conference on Computer Aided Verification (CAV 2011)





Preliminary Workshop Programme


 07:00 -  08:30 Continental Breakfast


SESSION 1
08:30 - 09:00 Lazy Decomposition for Distributed Decision Procedures
     Youssef Hamadi, Joao Marques-Silva and Christoph M. Wintersteiger
09:00 - 09:30 PKind: A parallel k-induction based model checker
    Temesghen Kahsai and Cesare Tinelli
09:30 - 10:00 CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems
    Nikola Benes, Ivana Cerna and Milan Krivanek

10:00 - 10:30 Coffee Break


SESSION 2
10:30 - 11:00 Computing Optimal Cycle Mean in Parallel on CUDA
     Jiri Barnat, Petr Bauch, Lubos Brim and Milan Ceska
11:00 - 11:30 Distributed MAP in the SpinJa Model Checker
    Stefan Vijzelaar, Kees Verstoep, Wan Fokkink and Henri Bal
11:30 - 12:00 The HIVE Tool for Informed Swarm State Space Exploration
     Anton Wijs

12:00 - 13:30 Lunch


INVITED SESSION (1)
13:30 - 14:00 Platform Dependent Verification: Engineering Verification Tools for 21st Century [slides]
     Lubos Brim and Jiri Barnat
14:00 - 14:30 Parallel Nested Depth First Search [slides]
     Jaco van de Pol
14:30 - 15:00 Distributed BDD-Based Model Checking [slides]
     Orna Grumberg

15:00 - 15:30 Coffee Break


INVITED SESSION (2)
15:30 - 16:00 Parallel and Distributed Statistical Model Checking of Parameterized Timed Automata [slides]
     Kim Larsen, Alexandre David, Petr Bulychev
16:00 - 16:30 Parallelism: A Siren Song? [slides]
     Moshe Vardi
16:30 - 17:00 Discussion & Closing