Use of a specification construction and animation tool to teach formal methods.
Ian C. MorreyJawed I. A. SiddiqiGraham BuckberryRichard HibberdPublished in: COMPSAC (1993)
Keyphrases
- formal methods
- formal specification
- formal specification language
- provably correct
- formal analysis
- process algebra
- artificial intelligence
- safety critical
- model checking
- reactive systems
- software engineering
- knowledge based systems
- temporal properties
- model checker
- databases
- development lifecycle
- security properties
- machine learning
- modeling language
- computer graphics
- user interface
- relational databases
- case study