层与几何逻辑及其在复杂系统模块化验证中的应用
计算机科学中的逻辑
2008-10-17 v1
摘要
本文表明，并发系统的状态、转换和行为通常可以建模为适当拓扑空间上的层。在此背景下，几何逻辑可用于描述在互连系统时，哪些局部性质（即单个系统的性质）在全局层面上得以保持。主要应用领域是复杂系统的模块化验证。我们通过一个涉及轨道上相互作用的列车控制器族的例子来说明这些思想。
引用
@article{arxiv.0810.2877,
title = {Sheaves and geometric logic and applications to the modular verification of complex systems},
author = {Viorica Sofronie-Stokkermans},
journal= {arXiv preprint arXiv:0810.2877},
year = {2008}
}
备注
30 pages