IC3 Modulo Theories via Implicit Predicate Abstraction.

Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta

Browse the full TACAS paper archive.