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://www2.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://www2.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://www2.eecs.berkeley.edu/Pubs/TechRpts/2008/EECS-2008-26.html
%F Kupferman:EECS-2008-26