Computing Predicate Abstractions by Integrating BDDs and SMT Solvers

Autor:	Roberto Cavada, Alessandro Cimatti, Anders Franzen, Krishnamani Kalyanasundaram, Marco Roveri, R.K. Shyamasundar
Rok vydání:	2007
Zdroj:	Formal Methods in Computer Aided Design (FMCAD'07).
DOI:	10.1109/famcad.2007.35
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::9f43828ab6da296bbfbf6fe941daba94 https://doi.org/10.1109/famcad.2007.35 Zobrazit plný text záznamu