Sheaves and geometric logic and applications to the modular verification of complex systems
| dc.creator | Sofronie-Stokkermans, Viorica | |
| dc.date | 2008-10-16 | |
| dc.date.accessioned | 2026-07-07T10:10:38Z | |
| dc.date.available | 2026-07-07T10:10:38Z | |
| dc.description | In this paper we show that states, transitions and behavior of concurrent systems can often be modeled as sheaves over a suitable topological space. In this context, geometric logic can be used to describe which local properties (i.e. properties of individual systems) are preserved, at a global level, when interconnecting the systems. The main area of application is to modular verification of complex systems. We illustrate the ideas by means of an example involving a family of interacting controllers for trains on a rail track. | |
| dc.description | 30 pages | |
| dc.identifier | https://arxiv.org/abs/0810.2877 | |
| dc.identifier | http://arxiv.org/abs/0810.2877 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/171651 | |
| dc.subject | Logic in Computer Science | |
| dc.title | Sheaves and geometric logic and applications to the modular verification of complex systems | |
| dc.type | text |