|
38
|
The automation of proof by mathematical induction
– Alan Bundy
- 1997
|
|
|
Progress in Computer-Assisted Inductive . . .
– Claus-peter Wirth
- 2006
|
|
1
|
Case-Analysis for Rippling and Inductive Proof
– Moa Johansson, Lucas Dixon, Alan Bundy
|
|
1
|
Abstract Best-First Rippling
– Moa Johansson, Alan Bundy, Lucas Dixon
|
|
|
An Integrated Approach to High . . .
– Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes
|
|
6
|
Customised induction rules for proving correctness of imperative programs
– Angela Wallenburg
- 2004
|
|
|
An Integrated Approach to Program Reasoning
– Andrew Ireland , Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes
|
|
41
|
A Calculus for and Termination of Rippling
– David A. Basin, Toby Walsh
- 1996
|
|
|
Generalization, Lemma Generation, and Induction in ACL2
– John D. Erickson
- 2008
|
|
25
|
Analogy in Inductive Theorem Proving
– Erica Melis, Jon Whittle
- 1998
|
|
5
|
Predicate synthesis for correcting faulty conjectures: The proof planning paradigm
– Raúl Monroy
- 2003
|
|
11
|
Relational rippling: A general approach
– Alan Bundy, Vincent Lombart
- 1995
|
|
13
|
Experiments in Automating Hardware Verification using Inductive Proof Planning
– Francisco J. Cantu , Alan Bundy, Alan Smaill, David Basin
- 1996
|
|
8
|
Automatic Verification of Functions with Accumulating Parameters
– Andrew Ireland, Alan Bundy
- 1999
|
|
|
Recursive Program Optimization Through Inductive Synthesis Proof Transformation
– Peter Madden, Alan Bundy, Alan Smaill
- 1999
|
|
|
Valid Extensions of Introspective Systems: A Foundation for Reflective Theorem Provers
– Arno Schönegge
- 1994
|
|
5
|
Automating the Synthesis of Decision Procedures in a Constructive Metatheory
– Alessandro Armando, Jason Gallagher, Alan Smaill, Alan Bundy
- 1996
|
|
5
|
An object-oriented dynamic logic with updates
– André Platzer
- 2004
|
|
3
|
ΩMEGA: Computer supported mathematics
– Jörg Siekmann, Christoph Benzmüller
- 2004
|
