Integrated Verification for Robust Computing
Sanjit A. Seshia
EECS Department
University of California, Berkeley
Technical Report No. UCB/EECS-2006-103
July 31, 2006
http://www.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-103.pdf
BibTeX citation:
@techreport{Seshia:EECS-2006-103,
Author = {Seshia, Sanjit A.},
Title = {Integrated Verification for Robust Computing},
Institution = {EECS Department, University of California, Berkeley},
Year = {2006},
Month = {Jul},
URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-103.html},
Number = {UCB/EECS-2006-103}
}
EndNote citation:
%0 Report %A Seshia, Sanjit A. %T Integrated Verification for Robust Computing %I EECS Department, University of California, Berkeley %D 2006 %8 July 31 %@ UCB/EECS-2006-103 %U http://www.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-103.html %F Seshia:EECS-2006-103