U.S.-German Cooperative Research in Development and Implementation of Heterogeneous Verification Methods for Distributed Systems

PI和帕绍大学的Bernhard Steffan合作的目标是研究与分布式系统建模和验证相关的问题。将进行两个具体的研究方向。第一部分涉及将动作优先级的概念合并到并发的语义基础中，并探索其对系统设计推理的实际影响。第二部分致力于开放工具体系结构的设计和实现，该体系结构将促进新的和改进的验证工具的开发。这项研究的结果将是系统设计方法的新的和有用的扩展，并为系统设计人员提供改进工具支持的框架。

The goal of this collaboration between the PI and Bernhard Steffan of the University of Passau is to study issues related to modeling and verification of distributed systems. Two specific threads of research will be pursued. The first involves the incorporation of notions of action priority into the semantic foundations of concurrency and an exploration of its practical impact on reasoning about system designs. The second is devoted to the design and implementation of an open tool architecture that will facilitate the development of new and improved verification tools. The results of this research will be new and useful extensions to system design methods and a framework for improved tool support for system designers.