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}
}