Experiments in Automating Hardware Verification using Inductive Proof Planning (1996)

Cached

Download Links

by Francisco J. Cantu , Alan Bundy , Alan Smaill , David Basin
Citations:13 - 6 self

Active Bibliography

43 The automation of proof by mathematical induction – Alan Bundy - 1997
14 A Proof Planning Framework for Isabelle – Lucas Dixon - 2005
An Integrated Approach to Program Reasoning – Andrew Ireland , Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes
An Integrated Approach to High . . . – Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes
Progress in Computer-Assisted Inductive . . . – Claus-peter Wirth - 2006
77 Multiway Decision Graphs for Automated Hardware Verification – F. Corella, Z. Zhou, X. Song, M. Langevin, E. Cerny - 1996
3 The use of theorem provers in the teaching and practice of formal methods – Sharon Flynn (eds, Helen Lowe, Helen Lowe - 1997
2 An experimental comparison of rippling and exhaustive rewriting – Alan Bundy, Ian Green - 1996
Witnesses for Coinduction from Divergent Proof Attempts – Louise Dennis, Alan Bundy, Ian Green, Louise Dennis, Alan Bundy, Ian Green
3 Planning and patching proof – Alan Bundy - 2004
11 On the Automatic Discovery of Loop Invariants – Andrew Ireland , Jamie Stark - 1997
2 Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent Proof Attempts – L. A. Dennis, A. Bundy, I. Green - 2000
20 Higher-order Annotated Terms for Proof Search – Alan Smaill , Ian Green - 1996
6 Using Rippling for Equational Reasoning – Dieter Hutter - 1996
2 Proving Ground Completeness of Resolution by Proof Planning – Manfred Kerber, Arthur Christian Sehn - 1997
The Diagonalization Method In Automatic Proof – Jeremy Gow, Toby Walsh - 1997
11 Proof Plans for the Correction of False Conjectures – Raul Monroy , Alan Bundy, Andrew Irel - 1994
Automating Proof in Non-standard Analysis – Ewen Maclean, Ewen Maclean - 2001
Recursive Program Optimization Through Inductive Synthesis Proof Transformation – Peter Madden, Alan Bundy, Alan Smaill - 1999