Publications

DBLP:journals/corr/CimattiGMT13

Summary

Alessandro Cimatti, Alberto Griggio, Sergio Mover and Stefano Tonetta (2013) IC3 Modulo Theories via Implicit Predicate Abstraction. CoRR, abs/1310.6847. (url)

Bibtex entry

@ARTICLE { DBLP:journals/corr/CimattiGMT13,
    AUTHOR = { Alessandro Cimatti and Alberto Griggio and Sergio Mover and Stefano Tonetta },
    TITLE = { IC3 Modulo Theories via Implicit Predicate Abstraction },
    JOURNAL = { CoRR },
    VOLUME = { abs/1310.6847 },
    YEAR = { 2013 },
    EE = { http://arxiv.org/abs/1310.6847 },
    BIBSOURCE = { DBLP, http://dblp.uni-trier.de },
}