I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - A Perfect Model for Bounded Verification


Javier Esparza, Pierre Ganty, and Rupak Majumdar. A perfect model for bounded verification. Technical report, arXiv.org, 2012.

Suggested BibTeX entry:

    author = {Javier Esparza and Pierre Ganty and Rupak Majumdar},
    institution = {arXiv.org},
    journal = {CoRR},
    title = {A Perfect Model for Bounded Verification},
    volume = {abs/1201.3194},
    year = {2012}

This work is not available online here.