Formal Methods for Integration of Automotive Software.
Marek JersakKai RichterRolf ErnstJörn-Christian BraamZheng-Yu JiangFabian WolfPublished in: DATE (2003)
Keyphrases
- formal methods
- safety critical
- formal analysis
- artificial intelligence
- knowledge based systems
- development lifecycle
- model checking
- formal specification
- model checker
- software engineering
- reactive systems
- provably correct
- software systems
- modeling language
- temporal properties
- embedded systems
- machine learning
- knowledge acquisition
- distributed systems
- process algebra
- database systems
- formal specification language