TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving.
Christoph LüthHaykal Tej KolyangBernd Krieg-BrücknerPublished in: FASE (1999)
Keyphrases
- theorem proving
- automatic programming
- programming environments
- decision procedures
- theorem prover
- automated reasoning
- automated deduction
- first order logic
- term rewriting
- inference rules
- proof procedure
- automated theorem proving
- parallel search
- software engineering
- proof planning
- logical inference
- consequence finding
- geometry theorem proving
- distributed search
- graphical models