"Infinite-state invariant checking with IC3 and predicate abstraction."

Alessandro Cimatti et al. (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics