Computing Predicate Abstractions by Integrating BDDs and SMT Solvers | IEEE Conference Publication | IEEE Xplore