Tighter integration of BDDs and SMT for Predicate Abstraction.

Alessandro Cimatti, Anders Franzn, Alberto Griggio, Krishnamani Kalyanasundaram, Marco Roveri

Browse the full DATE paper archive.