Formal Verification in the Loop to Enhance Verification of Safety-Critical Cyber-physical Systems.
Cinzia BernardeschiAndrea DomeniciSergio SaponaraPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2019)
Keyphrases
- formal verification
- safety critical
- cyber physical systems
- model checking
- embedded systems
- formal methods
- safety analysis
- symbolic model checking
- model checker
- automated verification
- bounded model checking
- agent architecture
- fault tolerant
- temporal logic
- formal specification
- cyber security
- physical world
- support systems
- low cost
- modeling language
- adaptive systems
- real time
- knowledge based systems
- software engineering
- object oriented
- multi agent systems
- knowledge base
- decision making
- artificial intelligence