Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking

Autor:	G. Cabodi, P. E. Camurati, M. Palena, P. Pasini
Rok vydání:	2022
Předmět:	Formal verification Hardware Model Checking Interpolation SAT Solving Hardware and Architecture Software Theoretical Computer Science
Zdroj:	Formal Methods in System Design. 60:117-146
ISSN:	1572-8102 0925-9856
DOI:	10.1007/s10703-022-00406-7
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::50920dd0eb782a05483b470f6899a889 https://doi.org/10.1007/s10703-022-00406-7 Zobrazit plný text záznamu Full text from SpringerLink