Reference:

Javier Esparza, Ruslán Ledesma-Garza, Rupak Majumdar, Philipp Meyer, and Filip Niksic. An SMT-based approach to coverability analysis. In CAV, pages 603–619, 2014.

Suggested BibTeX entry:

@inproceedings{DBLP:confcavEsparzaLMMN14,
    author = {Javier Esparza and Rusl{\'a}n Ledesma-Garza and Rupak Majumdar and Philipp Meyer and Filip Niksic},
    booktitle = {CAV},
    pages = {603-619},
    title = {An {SMT}-Based Approach to Coverability Analysis},
    year = {2014}
}