The Application of Formal Methods to the Assessment of High Integrity Software.
Robin E. BloomfieldPeter K. D. FroomePublished in: IEEE Trans. Software Eng. (1986)
Keyphrases
- formal methods
- development lifecycle
- safety critical
- software application
- database
- process algebra
- software engineering
- software platform
- model checker
- machine learning
- provably correct
- formal analysis
- formal specification
- computer systems
- software development
- model checking
- software systems
- knowledge based systems
- decision support
- temporal properties
- user interface
- case study
- artificial intelligence