层与几何逻辑及其在复杂系统的模块化验证中的应用
摘要：用套合适的拓扑空间模拟并发系统的状态、转移和行为。在这个上下文中，几何逻辑可以用来描述当连接系统时，局部属性（即个体系统的属性）在全局层面上是如何保持的。主要应用领域是对复杂系统的模块化验证。我们通过一个涉及铁轨上一组互动控制器的例子来阐述这些思想。
作者：Viorica Sofronie-Stokkermans
论文ID：0810.2877
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2008-10-17