On the Duality between Vacuity and Coverage
Orna Kupferman, Wenchao Li and Sanjit A. Seshia
EECS Department
University of California, Berkeley
Technical Report No. UCB/EECS-2008-26
March 31, 2008
http://www.eecs.berkeley.edu/Pubs/TechRpts/2008/EECS-2008-26.pdf
BibTeX citation:
@techreport{Kupferman:EECS-2008-26,
Author = {Kupferman, Orna and Li, Wenchao and Seshia, Sanjit A.},
Title = {On the Duality between Vacuity and Coverage},
Institution = {EECS Department, University of California, Berkeley},
Year = {2008},
Month = {Mar},
URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/2008/EECS-2008-26.html},
Number = {UCB/EECS-2008-26}
}
EndNote citation:
%0 Report %A Kupferman, Orna %A Li, Wenchao %A Seshia, Sanjit A. %T On the Duality between Vacuity and Coverage %I EECS Department, University of California, Berkeley %D 2008 %8 March 31 %@ UCB/EECS-2008-26 %U http://www.eecs.berkeley.edu/Pubs/TechRpts/2008/EECS-2008-26.html %F Kupferman:EECS-2008-26