Skip to content

Contact

Sandford Fleming 2001C
10 King’s College Road
Toronto, ON M5S 3G4
Phone: (416) 946-0251
Fax: (416) 978-1145
Admin: Dube Burin, (416) 946-8094
lie@eecg.toronto.edu (PGP key)

Recent News

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"
}