Formal Methods in Practice: A Comparison of Two Support Systems for Proof.
Juan BicarreguiBrian MatthewsPublished in: SOFSEM (1995)
Keyphrases
- support systems
- formal methods
- safety critical
- provably correct
- knowledge based systems
- model checking
- decision support system
- learning systems
- formal analysis
- formal specification
- model checker
- process algebra
- information systems
- decision making
- decision makers
- database marketing
- modeling language
- decision support
- intelligent systems
- artificial intelligence
- software engineering
- databases
- software development
- user interface
- relational databases
- case study
- learning algorithm
- data mining
- real world