Supporting the formal verification of mathematical texts.
Claus ZinnPublished in: J. Appl. Log. (2006)
Keyphrases
- formal verification
- model checking
- model checker
- automated verification
- bounded model checking
- symbolic model checking
- decision support
- temporal logic
- natural language generation
- object oriented
- text documents
- mathematical models
- mathematical expressions
- program slicing
- artificial intelligence
- knowledge based systems
- natural language processing
- natural language