Benchmarking a model checker for algorithmic improvements and tuning for performance

DOI10.1007/S10703-011-0123-3MaRDI QIDQ453484zbMATH OpenOpenAlexFDO

Authors G. Cabodi, S. Nocco, S. Quer

Publication date 27 September 2012

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10703-011-0123-3

zbMATH Keywords

model checkingbinary decision diagramsinterpolant verificationportfolio strategiessatisfiability solving

Mathematics Subject Classification ID

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

Recommendations

• Correct Hardware Design and Verification Methods
• Formal Methods in Computer-Aided Design
• scientific article; zbMATH DE number 1670796
• Model checking meets auto-tuning of high-performance programs
• scientific article; zbMATH DE number 1956571

Cites work

• scientific article; zbMATH DE number 1796128 (Why is no real title available?)
• scientific article; zbMATH DE number 1798189 (Why is no real title available?)
• scientific article; zbMATH DE number 1903372 (Why is no real title available?)
• A self-adaptive multi-engine solver for quantified Boolean formulas
• Formal Methods in Computer-Aided Design
• Interpolation and SAT-based model checking.
• Lower bounds for resolution and cutting plane proofs and monotone computations
• SATzilla: portfolio-based algorithm selection for SAT
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory

Cited in

(4)

• Optimization techniques for Craig interpolant compaction in unbounded model checking
• Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking
• Model checking meets auto-tuning of high-performance programs
• SAT solver management strategies in IC3: an experimental approach

Describes a project that uses

Uses Software

• VIS
• ABC
• SATzilla
• CUDD

This page was built for publication: Benchmarking a model checker for algorithmic improvements and tuning for performance

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