[IEEE Formal Methods in Computer Aided Design (FMCAD'07) - Austin, TX, USA (2007.11.11-2007.11.14)] Formal Methods in Computer Aided Design (FMCAD'07) - Computing Predicate Abstractions by Integrating BDDs and SMT Solvers
Cavada, Roberto, Cimatti, Alessandro, Franz¿en, Anders, Kalyanasundaram, Krishnamani, Roveri, Marco, Shyamasundar, R.K.Year:
2007
Language:
english
DOI:
10.1109/famcad.2007.35
File:
PDF, 206 KB
english, 2007