Using Formal Methods to Develop an ATC Information System.
Anthony HallPublished in: IEEE Softw. (1996)
Keyphrases
- formal methods
- information systems
- formal specification
- formal analysis
- model checking
- software engineering
- process algebra
- artificial intelligence
- temporal properties
- safety critical
- knowledge based systems
- machine learning
- software systems
- model checker
- formal specification language
- fine grained
- database systems
- high level
- provably correct
- development lifecycle