Formal methods for safety critical system specification.
Jonathan LockhartCarla PurdyPhilip A. WilseyPublished in: MWSCAS (2014)
Keyphrases
- formal methods
- safety critical
- formal specification
- provably correct
- reactive systems
- safety analysis
- software engineering
- model checking
- model checker
- knowledge based systems
- process algebra
- artificial intelligence
- protocol specification
- modeling language
- specification language
- decision support
- relational databases
- machine learning
- database