Where do formal methods fit in software evaluation? (abstract and figure only).
William W. McMillanPublished in: ACM Conference on Computer Science (1991)
Keyphrases
- formal methods
- safety critical
- model checking
- development lifecycle
- knowledge based systems
- formal analysis
- software engineering
- formal specification
- model checker
- artificial intelligence
- process algebra
- reactive systems
- provably correct
- user interface
- knowledge representation
- software systems
- computer systems
- machine learning
- temporal properties
- source code
- real world