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

Documents Related by Co-Citation

98 Productive Use of Failure in Inductive Proof – Andrew Ireland, Alan Bundy - 1995
267 The Use of Explicit Plans to Guide Inductive Proofs – Alan Bundy, Alan Bundy - 1988
423 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
536 A Computational Logic – Robert S Boyer, J Strother Moore - 1979
162 Rippling: a heuristic for guiding inductive proofs – Alan Bundy, Andrew Stevens, Frank Van Harmelen, Andrew Ireland, Alan Smaill - 1993
1119 Temporal and modal logic – E. Allen Emerson - 1995
1311 Symbolic Model Checking – K McMillan - 1993
739 L.: Isabelle/HOL: a proof assistant for higher-order logic – T Nipkow, M Wenzel, Paulson - 2002
127 The Oyster-Clam system – A Bundy, F van Harmelen, C Horn, A Smaill - 1990