Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer Programs.
Silvio RaniseDavid DéharbePublished in: Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
- theorem proving
- lightweight
- automatic programming
- first order logic
- proof procedure
- theorem prover
- automated reasoning
- automated theorem proving
- parallel search
- consequence finding
- term rewriting
- proof planning
- decision procedures
- automated deduction
- hardware designs
- java programs
- logical inference
- predicate calculus
- inference rules
- novice programmers
- combinatorial search
- equational theories
- geometry theorem proving
- artificial intelligence
- distributed search
- model checking
- expert systems
- wireless sensor networks