Heuristic and Formal Methods in Automatic Program Debugging.
William R. MurrayPublished in: IJCAI (1985)
Keyphrases
- formal methods
- model checking
- formal analysis
- provably correct
- knowledge based systems
- model checker
- process algebra
- safety critical
- optimal solution
- software engineering
- formal specification
- search algorithm
- modeling language
- temporal properties
- development lifecycle
- artificial intelligence
- reactive systems
- temporal logic
- case study