Formal methods in industrial dependable systems design - The TTTech example.
Wilfried SteinerPublished in: FMCAD (2017)
Keyphrases
- formal methods
- safety critical
- knowledge based systems
- model checking
- formal analysis
- temporal properties
- artificial intelligence
- model checker
- fault tolerant
- formal specification language
- development lifecycle
- formal specification
- building blocks
- software engineering
- fine grained
- embedded systems
- support systems
- industrial applications
- open source
- query language
- expert systems
- reactive systems
- high level
- process algebra
- case study
- machine learning