PDMC 2010

9th International Workshop on Parallel and Distributed Methods in verifiCation

joint with

2nd International Workshop on High Performance Computational Systems Biology (HiBi 2010)

September 30 - October 1, 2010, Twente, The Netherlands

Co-locating with
5th International Conference on Graph Transformation (ICGT 2010) , 29 September - 1 October, 2010
17th Annual workshop on Software Model Checking (SPIN 2010), 27 September - 29 September, 2010

Registration is now open (early registration deadline September 1)



The growing importance of automated formal verification in industry is driving a growing interest in those aspects that directly impact the applicability to real world problems. One of the main technical challenges lies in devising tools and techniques that allow to handle very large industrial models.

At the same time, the computer industry is undergoing a paradigm shift. Chip manufacturers are shifting development resources away from single-processor chips to a new generation of multi-processor chips, huge clusters of multi-core workstations are easily accessible everywhere, external memory devices, such as hard disks or solid state disks, are getting more powerful both in terms of capacity and access speed.

It is inevitable that verification techniques and tools need to undergo a similarly deep technological transition to catch up with the complexity of software designed for the new hardware. Recently, an increasing interest in exploiting the power of modern architectures, in particular in parallelizing and distributing verification techniques, has emerged.

The aim of the PDMC workshop series is to cover all aspects related to the verification and analysis of very large and complex systems, in particular in using methods and techniques that exploit current hardware architectures. The PDMC workshop aims to provide a working forum for presenting, sharing, and discussing recent achievements in the field of high-performance verification.

Topics of interest include, but are not limited to:

  • multi-core model checking
  • distributed model checking
  • multi-threaded/distributed equivalence checking
  • distributed state space generation
  • slicing and distributing the state space
  • parallel/distributed satisfiability checking
  • parallel/distributed theorem proving
  • parallel/distributed constraints solving
  • parallel methods in probabilistic model checking
  • parallel methods in performance evaluation
  • I/O efficient algorithms for verification
  • GPU accelerated verification
  • distributed (libraries for) graph algorithms
  • tools and case studies
  • industrial applications


We accept

  • regular papers (max. 8 pages in IEEE format),
  • tool papers (max. 2 pages in IEEE format),
  • work-in-progress presentations.
All submissions must be original and unpublished. Regular and tool papers accepted for the presentation at the workshop will appear in the Conference Proceedings published by IEEE Conference Publishing Services, and must be presented at the conference by one of the authors. High-quality and mature work-in-progress papers might be invited for the proceedings, depending on the presentation at the workshop.

Papers will need to be in 8.5" x 11", Two-Column Format. Formatting instructions and templates can be obtained from the Conference Publishing Service.

Submissions are processed through the EasyChair conference system.


  • June 14th, 2010 July 1st, 2010 -- Abstracts.
  • June 21th, 2010 July 1st, 2010 -- Paper submission.
  • July 31th,  2010 August 14th, 2010 -- Author notification.
  • September 1st, 2010 -- Early registration.
  • September 3rd, 2010 -- Final versions.
  • September 30th, 2010 -- Workshop



PDMC'09, Eindhoven, Netherlands
PDMC'08, Budapest, Hungary
PDMC'07, Berlin, Germany
PDMC'06, Bonn, Germany
PDMC'05, Lisboa, Portugal
PDMC'04, London, UK
PDMC'03, Boulder, Colorado, USA
PDMC'02, Brno, Czech Republic