EPTCS 72 - PDMC 2011
Jiri Barnat, Keijo Heljanko (Eds.):
Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation.
EPTCS 72 2011 
- Lubos Brim, Jiri Barnat:
Platform Dependent Verification: On Engineering Verification Tools for 21st Century.
1-12
- Alfons Laarman, Jaco van de Pol:
Variations on Multi-Core Nested Depth-First Search.
13-28
- Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Axel Legay:
Distributed Parametric and Statistical Model Checking.
30-42
- Youssef Hamadi, João Marques-Silva, Christoph M. Wintersteiger:
Lazy Decomposition for Distributed Decision Procedures.
43-54
- Temesghen Kahsai, Cesare Tinelli:
PKind: A parallel k-induction based model checker.
55-62
- Nikola Benes, Ivana Cerná, Milan Krivánek:
CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems.
63-67
- Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska:
Computing Optimal Cycle Mean in Parallel on CUDA.
68-83
- Stefan Vijzelaar, Kees Verstoep, Wan Fokkink, Henri E. Bal:
Distributed MAP in the SpinJa Model Checker.
84-90
- Anton Wijs:
The HIVE Tool for Informed Swarm State Space Exploration.
91-98
Last update Sat May 18 18:00:41 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
