Formal Verification at Higher Levels of Abstraction

Daniel Kroening and Sanjit A. Seshia. Formal Verification at Higher Levels of Abstraction. In International Conference on Computer-Aided Design (ICCAD), pp. 572–578, IEEE Press, November 2007.
Slides available in PDF

Download

[pdf] 

Abstract

(unavailable)

BibTeX

@inproceedings{KS-iccad07,
  author    = {Daniel Kroening and
               Sanjit A. Seshia},
  title     = {Formal Verification at Higher Levels of Abstraction},
  booktitle = {International Conference on Computer-Aided Design (ICCAD)},
  year      = {2007},
  month = {November},
  publisher = {IEEE Press},
  pages     = {572--578},
  wwwnote = {Slides available in <a href="http://www.eecs.berkeley.edu/~sseshia/talks/iccad07tut-kroening_seshia.pdf">PDF</a>},
}