Issues in the Full Scale Use of Formal Methods for Automated Testing.
James L. CrowleyJames F. LeathrumK. A. LiburdyPublished in: ISSTA (1996)
Keyphrases
- formal methods
- development lifecycle
- knowledge based systems
- safety critical
- formal analysis
- model checking
- formal specification
- provably correct
- software engineering
- process algebra
- temporal properties
- model checker
- scale space
- artificial intelligence
- security properties
- test cases
- expert systems
- reactive systems
- knowledge representation