Using Formal Methods: if you're so smart how come you ain't rich?
Ed BrinksmaPublished in: FORTE (1996)
Keyphrases
- formal methods
- formal analysis
- formal specification
- model checking
- knowledge based systems
- model checker
- safety critical
- provably correct
- software engineering
- high level
- artificial intelligence
- modeling language
- temporal properties
- process algebra
- security properties
- formal specification language
- smart environments
- reactive systems
- database
- knowledge acquisition
- information systems
- databases