Augmenting Counterexample-Guided Abstraction Refinement With Proof Templates
0 Comments
by Thomas E. Hart, Kelvin Ku, David Lie, Marsha Chechik and Arie Gurfinkel
Reference:
Thomas E. Hart, Kelvin Ku, David Lie, Marsha Chechik and Arie Gurfinkel, “Augmenting Counterexample-Guided Abstraction Refinement With Proof Templates”, Technical report, Department of Computer Science, University of Toronto CSRG-581, pp. 15, 2008.
Bibtex Entry:
@techreport{hart:tr2008,
author = {Thomas E. Hart and Kelvin Ku and David Lie and Marsha Chechik and Arie Gurfinkel},
title = {Augmenting Counterexample-Guided Abstraction Refinement With Proof Templates},
number = {CSRG-581},
institution = {Department of Computer Science, University of Toronto},
pages = 15,
year = 2008,
url = {https://ftp.cs.toronto.edu/csrg-technical-reports/581/hart_CSRG-581.pdf},
}