Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking
Crossref DOI link: https://doi.org/10.1007/s10703-022-00406-7
Published Online: 2022-12-08
Published Print: 2022-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Cabodi, G.
Camurati, P. E.
Palena, M. http://orcid.org/0000-0003-0605-9014
Pasini, P.
Text and Data Mining valid from 2022-04-01
Version of Record valid from 2022-04-01
Article History
Received: 30 July 2019
Accepted: 2 November 2022
First Online: 8 December 2022