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
Anton Wijs:
The HIVE Tool for Informed Swarm State Space Exploration.
91-98
data released under the ODC-BY 1.0 license
