Challenging problems in industrial formal verification

Autor:	Ziyad Hanna
Rok vydání:	2014
Zdroj:	2014 Formal Methods in Computer-Aided Design (FMCAD).
DOI:	10.1109/fmcad.2014.6987583
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::68428bb6a0ce26bd581bf15f4bf810cd https://doi.org/10.1109/fmcad.2014.6987583 Zobrazit plný text záznamu