Formal methods and automated verification of critical systems.
Maurice H. ter BeekStefania GnesiAlexander KnappPublished in: Int. J. Softw. Tools Technol. Transf. (2018)
Keyphrases
- formal methods
- automated verification
- model checking
- safety critical
- formal specification
- artificial intelligence
- formal analysis
- software engineering
- knowledge based systems
- model checker
- automated reasoning
- formal verification
- expert systems
- process algebra
- temporal logic
- modeling language
- reactive systems
- building blocks
- probabilistic model
- development lifecycle