7th International Workshop on
Parallel and Distributed Methods in verifiCation

PDMC 2008

Saturday, March 29, 2008, Budapest, Hungary
Affiliated to ETAPS 2008, March 29–April 6, 2007.

PDMC logo



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. Over the last years various approaches have been developed. Recently, an increasing interest in parallelizing and distributing verification techniques has emerged.

The aim of the PDMC workshop series is to cover all aspects of parallel and distributed methods and techniques for verification. Theoretical results, algorithms and case studies are equally welcome. Contributions from the domains of model checking, theorem proving, equivalence checking, testing, and performance evaluation are anticipated.

The PDMC workshop aims to provide a working forum for presenting, sharing, and discussing recent achievements in the field of parallel and distributed verification. The workshop will consist of invited talks, regular papers, tool papers and presentations.

SCOPE: Papers describing recent work on all aspects of parallel and distributed verification are solicited as contributions to PDMC. Regular and tool papers must be original and may not be submitted simultaneously to other conferences, workshops or journals. Topics of interest include, but are not limited to:

  • parallel and distributed methods in:
    • model checking
    • probabilistic model checking
    • performance and dependability evaluation
    • equivalence checking
    • satisfiability checking
    • constraints solving
    • theorem proving
    • testing
  • system issues for parallel and distributed verification:
    • GRID vs. clusters vs. SMP (heterogeneity, co-scheduling)
    • parallelization for multi-core processors
    • external memory approaches
    • load balancing, speeding-up
    • robustness, fault tolerance
    • slicing and distributing the state space
    • file system support
  • application:
    • verification of multi-threaded programs
    • tools and case studies
    • software platforms for distributed verification
    • methods and suites for benchmarking
    • industrial applications

PROCEEDINGS: Preliminary workshop proceedings will be available at the meeting as a technical report.
Regular and tool papers will appear within the ENTCS series.


  • All submissions should be made electronically on the Submission Page.
  • Manuscripts of regular papers are limited to a maximum of 15 pages (excluding technical appendices) in Postscript or PDF format (ENTCS style strongly recommended).
  • Manuscripts describing tool demonstrations are limited to a maximum of 5 pages in Postscript or PDF (ENTCS style strongly recommended).
  • Presentations report on relevant results submitted to other forums or already published. Work in progress papers report on not yet finished work in progress to be discussed at the workshop. Presentations and work in progress papers will appear in the workshop proceedings, but will not appear in the final workshop ENTCS proceedings. Manuscripts are limited to a maximum of 15 pages.

Submissions should be made electronically using PDMC'08 Submission Page.


December 9, 2007
Submission deadline for abstracts of regular and tool papers.
December 14, 2007
Hard submission deadline for regular and tool papers.
January 14, 2008
Notification of acceptance.
January 14, 2008
Deadline for presentations and work in progress reports.
January 28, 2008
Camera ready copy for proceedings.
March 29, 2008
Meeting Date.


Henri Bal (Vrije University, The Netherlands)
Large-scale parallel computing on grids (abstract)




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