Do Formal Methods Really Work?
Lin ZucconiGreg RoyleKarl ReedJohn StaplesPublished in: Australian Software Engineering Conference (1996)
Keyphrases
- formal methods
- safety critical
- formal analysis
- model checker
- artificial intelligence
- software engineering
- model checking
- formal specification
- process algebra
- knowledge based systems
- temporal properties
- provably correct
- database
- modeling language
- reactive systems
- relational databases
- security properties
- knowledge base
- databases