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)

Accepted Papers

  • Computing Optimal Cycle Mean in Parallel on CUDA
    Jiri Barnat, Petr Bauch, Lubos Brim and Milan Ceska

  • Lazy Decomposition for Distributed Decision Procedures
    Youssef Hamadi, Joao Marques-Silva and Christoph M. Wintersteiger

  • Distributed MAP in the SpinJa Model Checker
    Stefan Vijzelaar, Kees Verstoep, Wan Fokkink and Henri Bal

  • The HIVE Tool for Informed Swarm State Space Exploration
    Anton Wijs

  • PKind: A parallel k-induction based model checker
    Temesghen Kahsai and Cesare Tinelli

  • CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems
    Nikola Benes, Ivana Cerna and Milan Krivanek