๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Analogy in Inductive Theorem Proving

โœ Scribed by Erica Melis; Jon Whittle

Book ID
110230603
Publisher
Springer Netherlands
Year
1999
Tongue
English
Weight
218 KB
Volume
22
Category
Article
ISSN
0168-7433

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Connection-Driven Inductive Theorem Prov
Connection-Driven Inductive Theorem Proving
โœ Christoph Kreitz; Brigitte Pientka ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 393 KB
Inductive Theorem Proving for Design Spe
Inductive Theorem Proving for Design Specifications
โœ PETER PADAWITZ ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 985 KB

We present a number of new results on inductive theorem proving for design specifications based on Horn logic with equality. Induction is explicit here because induction orderings are supposed to be part of the specification. We show how the automatic support for program verification is enhanced if

Automated Theorem Proving by Test Set In
Automated Theorem Proving by Test Set Induction
โœ ADEL BOUHOULA ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 825 KB

Test set induction is a goal-directed proof technique which combines the full power of explicit induction and proof by consistency. It works by computing an appropriate explicit induction scheme called a test set, to trigger the induction proof, and then applies a refutation principle using proof by