40 Years of Formal Methods - Some Obstacles and Some Possibilities?
Dines BjørnerKlaus HavelundPublished in: FM (2014)
Keyphrases
- formal methods
- artificial intelligence
- safety critical
- formal analysis
- knowledge based systems
- formal specification
- model checking
- provably correct
- process algebra
- model checker
- temporal properties
- software engineering
- machine learning
- development lifecycle
- reactive systems
- success stories
- fault tolerant
- black box
- modeling language
- knowledge representation
- expert systems