Sheaves and geometric logic and applications to the modular verification of complex systems
Viorica Sofronie-StokkermansPublished in: CoRR (2008)
Keyphrases
- complex systems
- asynchronous circuits
- dynamic systems
- verification method
- derivation rules
- manufacturing systems
- mathematical models
- physical systems
- biological systems
- model checking
- geometric structure
- multi agent systems
- modal logic
- industrial systems
- steady state simulation
- formal verification
- fuzzy cognitive maps
- discrete event systems
- linear time temporal logic
- graph theory
- agent based models
- agent based modeling
- computational systems
- dynamical systems
- scale free networks