Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation

TL;DR

This collection of proceedings from the 10th International Workshop on Parallel and Distributed Methods in Verification highlights recent advances in verifying complex systems using parallel computing techniques, emphasizing methods that leverage modern hardware architectures.

Contribution

The workshop's 10th anniversary featured a mix of invited and contributed presentations focusing on parallel and distributed verification methods for large systems.

Findings

Advances in parallel verification techniques

Integration of hardware architectures in verification

Collaborative insights from workshop presentations

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.