Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems | Zendy

Viorica Sofronie-Stokkermans | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems

Author(s) -

Viorica Sofronie-Stokkermans

Publication year - 2009

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2009.02.024

Subject(s) - modular design , computer science , context (archaeology) , complex system , theoretical computer science , topology (electrical circuits) , algebra over a field , mathematics , programming language , pure mathematics , artificial intelligence , combinatorics , paleontology , biology

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, 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 our ideas by means of an example involving a family of interacting controllers for trains on a rail track

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research