Fast interpolating BMC
From MaRDI portal
Publication:1702933
DOI10.1007/978-3-319-21690-4_43zbMath1381.68185OpenAlexW1014453521MaRDI QIDQ1702933
Yakir Vizel, Arie Gurfinkel, Sharad Malik
Publication date: 1 March 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-21690-4_43
Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items
Exploiting partial variable assignment in interpolation-based model checking ⋮ Certified DQBF solving by definition extraction
