Computing Predicate Abstractions by Integrating BDDs and SMT Solvers.

Roberto Cavada, Alessandro Cimatti, Anders Franzn, Krishnamani Kalyanasundaram, Marco Roveri, R. K. Shyamasundar

Browse the full FMCAD paper archive.