Computing Predicate Abstractions by Integrating BDDs and SMT Solvers

Roberto Cavada, Alessandro Cimatti, Anders Franzén, Krishnamani Kalyanasundaram, Marco Roveri, R. K. Shyamasundar. Computing Predicate Abstractions by Integrating BDDs and SMT Solvers. In Formal Methods in Computer-Aided Design, 7th International Conference, FMCAD 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings. pages 69-76, IEEE Computer Society, 2007. [doi]

Bibliographies