Formal Verification of Safety Requirements on Complex Systems.
Cinzia BernardeschiAlessandro FantechiStefania GnesiPublished in: SAFECOMP (1996)
Keyphrases
- complex systems
- formal verification
- model checking
- dynamic systems
- model checker
- multi agent systems
- automated verification
- manufacturing systems
- mathematical models
- physical systems
- symbolic model checking
- bounded model checking
- computational systems
- discrete event systems
- industrial systems
- steady state simulation
- biological systems
- temporal logic
- program slicing
- agent based modelling
- fuzzy cognitive maps
- agent based models
- software engineering