Fast interpolating BMC

DOI10.1007/978-3-319-21690-4_43zbMATH Open1381.68185OpenAlexW1014453521MaRDI QIDQ1702933FDOQ1702933

Authors: 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

Recommendations

• Interpolant learning and reuse in SAT-based model checking
• Interpolation and SAT-based model checking.
• Efficient generation of small interpolants in CNF
• Accelerating Interpolation-Based Model-Checking
• Computer Science Logic

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (4)

• Interpolating strong induction
• Certified DQBF solving by definition extraction
• Exploiting partial variable assignment in interpolation-based model checking
• Large BMO spaces vs interpolation

This page was built for publication: Fast interpolating BMC

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1702933)