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