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.