The Use of Theorem Provers in the Teaching and Practice of Formal Methods.
Helen LowePublished in: IWFM (1997)
Keyphrases
- formal methods
- theorem prover
- theorem proving
- automated reasoning
- automated theorem proving
- formal analysis
- model checking
- computer algebra
- knowledge based systems
- first order logic
- automated deduction
- inference rules
- artificial intelligence
- safety critical
- formal specification
- process algebra
- higher order logic
- software engineering
- e learning
- data mining
- learning process
- computer algebra systems
- security properties
- proof search
- formal specification language
- modeling language
- temporal logic
- machine learning