A systematic approach to connecting standalone theorem provers to formal development environments.
David HemerPublished in: APSEC (2006)
Keyphrases
- theorem prover
- development environments
- development environment
- lightweight
- theorem proving
- automated reasoning
- inference rules
- model driven
- first order logic
- automated theorem proving
- computer algebra
- software components
- computer algebra systems
- proof search
- data driven
- security mechanisms
- software development
- open source
- data model
- high level
- machine learning