Formal methods in transformational derivation of programs.
Uday S. ReddyPublished in: Formal Methods in Software Development (1990)
Keyphrases
- formal methods
- provably correct
- formal analysis
- knowledge based systems
- model checking
- model checker
- artificial intelligence
- safety critical
- formal specification
- process algebra
- development lifecycle
- temporal properties
- modeling language
- software engineering
- reactive systems
- expert systems
- machine learning
- data mining
- database