Computing Predicate Abstractions by Integrating BDDs and SMT Solvers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Roberto Cavada' in GoogleThis author has not been identified. Look up 'Alessandro Cimatti' in GoogleThis author has not been identified. Look up 'Anders Franzén' in GoogleThis author has not been identified. Look up 'Krishnamani Kalyanasundaram' in GoogleIdentified as Marco Roveri This author has not been identified. Look up 'R. K. Shyamasundar' in Google

runs on WebDSL