Preface: Volume 68 Issue 4

✍ Scribed by Lubos Brim; Orna Grumberg

• Publisher: Elsevier Science
• Year: 2002
• Tongue: English
• Weight: 39 KB
• Volume: 68
• Category: Article
• ISSN: 1571-0661
• DOI: 10.1016/s1571-0661(05)80385-8

✦ Synopsis

The aim of the PDMC 2002 workshop was to cover all aspects of parallel and distributed model checking and supporting techniques. The mission was on one side to introduce people to the field of parallel and distributed model checking and on the other side to be a working forum for describing new research building thus the relationship between people working in the area of parallel and distributed approaches to the verification of large-scale systems and to encourage cross-fertilization of ideas.

The workshop programme consisted of:

2 invited talks, respectively by Moshe Vardi on Model Checking: A Complexity-Theoretic Perspective and by Orna Grumberg on Different directions in parallel and distributed model checking, 8 regular presentations, and 5 short presentations.