A fast counterexample minimization algorithm with refutation analysis and incremental SAT

MaRDI QIDQ5473156zbMATH OpenFDO

Authors Shengyu Shen, Sikun Li

Publication date 19 June 2006

zbMATH Keywords

counterexample minimizationincremental SATmodel checkingrefutation analysissafety assertion

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05)

Recommendations

• Verification, Model Checking, and Abstract Interpretation
• Correct Hardware Design and Verification Methods
• Tools and Algorithms for the Construction and Analysis of Systems
• Model Checking Software
• Faster Extraction of High-Level Minimal Unsatisfiable Cores

Cited in

(3)

• Tools and Algorithms for the Construction and Analysis of Systems
• Verification, Model Checking, and Abstract Interpretation
• The complexity of variable minimal formulas

This page was built for publication: A fast counterexample minimization algorithm with refutation analysis and incremental SAT

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