PDMC 2011

10th International Workshop on Parallel and Distributed Methods in verifiCation

July 14, 2011, Cliff Lodge, Snowbird, Utah

Co-locating with
23rd International Conference on Computer Aided Verification (CAV 2011)

PDMC11 proceedings has been published in EPTCS



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

At the same time, the computer industry is undergoing a major paradigm shift. Processor manufacturers are introducing new generations of multicore processor with large numbers of cores and high performance GPUs, cloud based computing resources are easily accessible, and external memory devices, such as hard disks or solid state disks, are getting more powerful.

It is inevitable that verification techniques and tools need to undergo a similarly deep technological transition to catch up with the new hardware architectures. This has created an increasing interest in parallelizing and distributing verification techniques.

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:

  • parallel and/or distributed-memory techniques for verification
  • parallel SAT solving and its applications in verification
  • I/O efficient algorithms for verification
  • GPU accelerated algorithms for verification
  • platform dependent verification tools
  • industrial case studies employing PDMC techniques
  • applications of PDMC techniques to systems biology


To celebrate the 10th anniversary of PDMC, the workshop will this year consists of a half day invited session together with a half a day session of regular contributed presentations. The invited session will discuss the impact of the field, achieved results, unsolved open problems, as well as the vision on the future of the field.

INVITED SESSION SPEAKERS (alphabetic order):

  • Lubos Brim
  • Orna Grumberg
  • Kim G. Larsen
  • Jaco van de Pol
  • Moshe Vardi

We accept

  • regular papers (max. 15 pages in EPTCS style),
  • tool papers (max. 5 pages in EPTCS style),
All submissions must be original and unpublished. Regular and tool papers accepted for the presentation at the workshop will appear in Electronic Proceedings in Theoretical Computer Science series, hence, submissions must be prepared in LaTeX using the EPTCS macro package. Submission accepted for the presentation must be presented at the workshop conference by at least one of the authors.

PDMC11 proceedings has already been published in EPTCS.


    Abstract submission: May 16, 2011
    Paper submission: May 16, 2011 May 22, 2011
    Notification: June 16, 2011
    Camera ready version:    July 3, 2011 September 15, 2011
    Workshop: July 14, 2011



PDMC/HiBi 2010, Enschede, Netherlands
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