I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - An SMT-Based Approach to Coverability Analysis

Reference:

Javier Esparza and Philipp J. Meyer. An SMT-based approach to coverability analysis. In FMCAD, pages 49–56, 2015.

Suggested BibTeX entry:

@inproceedings{DBLP:conffmcadEsparzaM15,
    author = {Javier Esparza and Philipp J. Meyer},
    booktitle = {FMCAD},
    pages = {49--56},
    title = {An {SMT}-Based Approach to Coverability Analysis},
    year = {2015}
}

This work is not available online here.