Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates.

Thomas E. Hart Kelvin Ku Arie Gurfinkel Marsha Chechik David Lie

Published in: ASE (2008)

Keyphrases

model checking
formal verification
data abstraction
database
high level
neural network
evolutionary algorithm
theorem prover
theorem proving
mathematical proofs