PDMC

Keyphrases

Publications

2011

Nikola Benes, Ivana Cerná, Milan Krivánek
CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems PDMC (2011)
Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska
Computing Optimal Cycle Mean in Parallel on CUDA PDMC (2011)
Temesghen Kahsai, Cesare Tinelli
PKind: A parallel k-induction based model checker PDMC (2011)
Stefan Vijzelaar, Kees Verstoep, Wan J. Fokkink, Henri E. Bal
Distributed MAP in the SpinJa Model Checker PDMC (2011)
Anton Wijs
The HIVE Tool for Informed Swarm State Space Exploration PDMC (2011)
Youssef Hamadi, João Marques-Silva, Christoph M. Wintersteiger
Lazy Decomposition for Distributed Decision Procedures PDMC (2011)
Lubos Brim, Jiri Barnat
Platform Dependent Verification: On Engineering Verification Tools for 21st Century PDMC (2011)
Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Axel Legay
Distributed Parametric and Statistical Model Checking PDMC (2011)
Alfons Laarman, Jaco van de Pol
Variations on Multi-Core Nested Depth-First Search PDMC (2011)

volume 72, 2011

Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, Snowbird, Utah, USA, July 14, 2011. PDMC 72 (2011)