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

TL;DR

This paper presents the proceedings of the 8th International Workshop on Parallel and Distributed Methods in Verification, highlighting recent advances and discussions in formal methods and verification techniques within a collaborative event.

Contribution

It introduces the latest research and developments in parallel and distributed verification methods presented at PDMC 2009 during Formal Methods Week.

Findings

Showcase of new verification techniques

Integration of parallel methods in formal verification

Enhanced collaboration among verification researchers

Abstract

The 8th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2009) took place on November 4, 2009 at the Eindhoven University of Technology, in conjunction with Formal Methods 2009 and other related events for the first time under the heading of Formal Methods Week. This volume contains the final workshop proceedings.