并行和分布式模型检查国际研讨会会议记录

理论计算机科学www.elsevier.com/locate/entcs前言第68卷第四Lubos Brim和Orna Grumberg摘要本期包含了2002年8月19日在捷克共和国布尔诺举行的第一届并行和分布式模型检查国际研讨会（PDMC 2002）的会议记录，该会议是第13届并发理论国际会议（CONCUR 2002）的附属活动PDMC 2002研讨会的目的是涵盖并行和分布式模型检查和支持技术的所有方面。任务是在一边向人们介绍并行和分布式模型检查领域，另一方面是一个工作论坛用于描述新的研究，从而建立在并行和分布式方法领域工作的人们之间的关系，以验证大规模系统，并鼓励思想的交叉施肥。讲习班方案包括：2邀请演讲，分别由Moshe Vardi关于模型检查：复杂性理论视角和Orna Grumberg关于并行和分布式模型检查的不同方向，8个 常规 演示 和 5 个 简短 演示。会议记录只包含常规文件。定期报告和简短介绍已被下列方案委员会接受Lubos Brim（MU Brno，捷克共和国）-共同主席GianpieroCabodi（都灵，意大利）Hubert Garavel（INRIA，法国）Orna Grumberg（以色列理工学院）-联合主席Boudewijn R.哈弗科特（德国亚琛）金·拉森（金砖国家丹麦奥尔堡）拉杰夫·兰詹（美国真实意图）我们非常感谢方案委员会所有成员的良好合作和详细的报告和评论，并感谢所有作者的贡献。有关在线信息，请参见http://www.fi.muni.cz/concur2002/PDMC/。二零零二年八月十九日卢博斯·布里姆·奥纳·格伦贝格1571-0661/$-