Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation
Distributed, Parallel, and Cluster Computing
2011-11-02 v1 Logic in Computer Science
Software Engineering
Abstract
This volume contains the proceedings of the 10th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2011) that took place in Snowbird, Utah, on July 14, 2011. The workshop was co-located with 23rd International Conference on Computer Aided Verification (CAV 2011). The PDMC workshop series covers all aspects related to the verification and analysis of very large and complex systems using, in particular, methods and techniques that exploit contemporary, hence parallel, hardware architectures. To celebrate the 10th anniversary of PDMC, the workshop consisted of a half day invited session together and a half day session of regular contributed presentations.
Keywords
Cite
@article{arxiv.1111.0064,
title = {Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation},
author = {Jiří Barnat and Keijo Heljanko},
journal= {arXiv preprint arXiv:1111.0064},
year = {2011}
}
Comments
EPTCS 72, 2011