Experiments in Automating Hardware Verification Using Inductive Proof Planning.

Francisco J. Cantu Alan Bundy Alan Smaill David A. Basin

Published in: FMCAD (1996)

Keyphrases

proof planning
concept formation
building intelligent
theorem proving
hardware designs
inductive learning
machine learning
image processing
theorem prover
information extraction
model checking
proof search
bayesian networks
hidden markov models
knowledge representation
description logics