2nd International Workshop on Parallel and Distributed Model Checking

PDMC 2003

July 14, 2003, Boulder, Colorado, USA
Affiliated to CAV 2003, 8 - 12 July 2003.


[ Programme | Pictures ]


Final proceedings published as ENTCS Volume 89, Issue 1

Workshop Speakers


The growing importance of automated formal verification in industry is driving a growing interest in those aspects which have a direct impact on its applicability to real world problems. One of the main technical challenges is in devising tools that allow to handle large state spaces. Over the last years numerous approaches have been developed. Recently, an increasing interest is in parallelizing and distributing of model checking techniques.

The aim of the PDMC workshop is to cover all aspects of parallel and distributed techniques for formal verification, in particular model checking, and supporting techniques. Theoretical results, algorithms and case studies are equally welcome.

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 and a selection from submitted papers.

SCOPE: Papers describing recent work on all aspects of parallel and distributed verification are solicited as contributions to PDMC. Topics of interest include, but are not limited to:
  • parallel model checking
  • distributed model checking
  • distributed equivalence checking
  • distributed state space generation
  • slicing and distributing the state space
  • tools and case studies
  • industrial applications

PROCEEDINGS: The preliminary workshop proceedings will be available as a Technical Report of the Brigham Young University. The final proceedings appear as a volume of Electronic Notes in Theoretical Computer Science.

SUBMISSION GUIDELINES: There are two categories of submissions: regular papers and short presentations.

  • Manuscripts of regular papers are limited to a maximum of 10 pages (excluding bibliography and technical appendices) in postscript or PDF format (Springer LNCS style strongly recommended).

  • Short presentations report on relevant results submitted to other forums or already published or on not yet finished work in progress. Abstracts (up to 4 pages) of short presentations will appear in the workshop preliminary proceedings, but will not be considered for the final workshop proceedings.

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

Programme Committee Members (restricted access).


  • May 17, 2003: Submission deadline for regular papers (closed).
  • June 20, 2003: Notification of acceptance.
  • June 20, 2003: Deadline for short presentations (closed).
  • June 30, 2003: Camera ready copy for proceedings.
  • July 14, 2003: Meeting Date.

Assaf Schuster (Haifa, Israel):
Distributed Model Checking - Experiences, Lessons, and Expectations


  • Howard Barringer (Manchester Univ., UK)
  • Lubos Brim (Masaryk Univ., Czech Republic) - Co-chair
  • Gianpiero Cabodi (Torino, Italy)
  • Wan Fokkink (CWI Amsterdam, NL)
  • Hubert Garavel (INRIA, France),
  • Orna Grumberg (Haifa, Israel) - Co-chair
  • Boudewijn R. Haverkort (Univ. of Twente, NL),
  • Michael Jones (Brigham Young Univ., USA)
  • Martin Leucker (Uppsala Univ., SE)
  • Sharad Malik (Princeton Univ., USA)
  • Eric Mercer (Brigham Young Univ., USA)
  • Willem Visser (NASA Ames Research Center, USA)




Page created December 20, 2002 by Lubos Brim.
Last modified: June 22, 2003