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, 2008.
Bibtex Entry:
@techreport{hart:tr2008, author = "Hart, Thomas E. and Ku, Kelvin and Lie, David and Chechik, Marsha and Gurfinkel, Arie", title = "Augmenting Counterexample-Guided Abstraction Refinement With Proof Templates", number = "CSRG-581", institution = "Department of Computer Science, University of Toronto", year = "2008", note = "(4 citations)", citations = "4", gsid = "10671141584458067755" }