Searching for i-good lemmas to accelerate safety model checking

DOI10.1007/978-3-031-37703-7_14zbMATH Open1545.68076MaRDI QIDQ6535540FDOQ6535540

Jianwen Li, Yechuan Xia, Alberto Griggio, Anna Becchi, Geguang Pu, Alessandro Cimatti

Publication date: 12 January 2024

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Theory and Applications of Satisfiability Testing
• Computer Aided Verification
• SAT-Based Model Checking without Unrolling
• Evaluating CDCL Variable Scoring Schemes
• SMT-based scenario verification for hybrid systems
• Interpolating strong induction
• Congruence \(ABC\) implies \(ABC\)

This page was built for publication: Searching for i-good lemmas to accelerate safety model checking

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