Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - A Perfect Model for Bounded Verification

Reference:

Javier Esparza, Pierre Ganty, and Rupak Majumdar. A perfect model for bounded verification. In Twenty-Seventh Annual ACM/IEEE Symposium on Logic in Cmputer Sience (LICS 2012), pages 285–294, 2012.

Suggested BibTeX entry:

@inproceedings{lics12,
    author = {Javier Esparza and Pierre Ganty and Rupak Majumdar},
    booktitle = {Twenty-Seventh Annual ACM/IEEE Symposium on Logic in Cmputer Sience (LICS 2012)},
    pages = {285--294},
    title = {A Perfect Model for Bounded Verification},
    year = {2012}
}

PDF (350 kB)