PDMC 2002 Workshop on Parallel and Distributed Model Checking
PDMC 2002

August 19, 2002, Brno, Czech Republic,
Affiliated to CONCUR'2002, 20 - 23 August 2002.

| Programme ]


Final proceedings published as ENTCS Volume 68 Issue 4

OBJECTIVES: The growing importance of model checking in industry is driving a growing interest in those aspects of model checking 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 model checking and supporting techniques. Theoretical results, algorithms and case studies are equally welcome.

The PDMC workshop has a dual mission: it aims to introduce people to the field of parallel and distributed model checking and to be a forum for describing new research. Hence, the workshop will consist of invited presentations by leaders in the field and a selection from the submitted papers. In this way, we hope to build the relationship between people working in these areas and to encourage cross-fertilization of ideas.

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

PROCEEDINGS: The proceedings will be published as a preliminary ENTCS proceedings, and will be available at the workshop. The final proceedings appear as a volume of ENTCS. After the workshop, selected authors will be invited to submit full version of their papers to a special section of the International Journal on Software Tools for Technolgy Transfer dedicated to PDMC'02 workshop.

SUBMISSION GUIDELINES: Manuscripts should be regular papers with a maximum of 10 pages (excluding bibliography and technical appendices) in postscript or PDF format (Springer LNCS style strongly recommended).


  • May 25, 2002: Submission deadline (has passed).
  • August 1, 2002: Camera ready copy for proceedings.
  • August 19, 2002: Meeting Date.

Moshe Vardi (Rice University, USA):
Model Checking: A Complexity-Theoretic Perspective


Orna Grumberg (Technion, Israel):
Different directions in parallel and distributed model checking
Presentation is now available on-line


  • Lubos Brim (MU Brno, Czech Republic) - Co-chair,
  • Gianpiero Cabodi (Torino, Italy),
  • Hubert Garavel (INRIA, France),
  • Orna Grumberg (Technion, Israel) - Co-chair,
  • Boudewijn R. Haverkort (Aachen, Germany),
  • Kim Larsen (BRICS Aalborg, Denmark),
  • Rajeev Ranjan (Real Intent, USA)



Page created July 5, 2002 by Lubos Brim. Last modified: October 12, 2002