Benchmarking a model checker for algorithmic improvements and tuning for performance

DOI10.1007/S10703-011-0123-3zbMATH Open1247.68160OpenAlexW2046656028MaRDI QIDQ453484FDOQ453484

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

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

zbMATH Keywords

model checkingbinary decision diagramsinterpolant verificationportfolio strategiessatisfiability solving

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Interpolation and SAT-based model checking.
• A self-adaptive multi-engine solver for quantified Boolean formulas
• SATzilla: portfolio-based algorithm selection for SAT
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Lower bounds for resolution and cutting plane proofs and monotone computations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Formal Methods in Computer-Aided Design

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

Uses Software

• CUDD
• SATzilla
• ABC
• VIS

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)