Fast interpolating BMC

DOI10.1007/978-3-319-21690-4_43MaRDI QIDQ1702933zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(4)

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

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)