  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.
