Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems.
Viorica Sofronie-StokkermansPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- complex systems
- asynchronous circuits
- dynamic systems
- verification method
- model checking
- multi agent systems
- derivation rules
- biological systems
- steady state simulation
- industrial systems
- physical systems
- geometric structure
- mathematical models
- formal verification
- manufacturing systems
- computational systems
- technical systems
- modal logic
- discrete event systems
- linear time temporal logic
- learning algorithm