Benchmarking a model checker for algorithmic improvements and tuning for performance

DOI10.1007/S10703-011-0123-3zbMath1247.68160OpenAlexW2046656028MaRDI QIDQ453484

Gianpiero Cabodi, Stefano Quer, Sergio Nocco

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)

Related Items (3)

Optimization techniques for Craig interpolant compaction in unbounded model checking ⋮ Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking ⋮ SAT solver management strategies in IC3: an experimental approach

Uses Software

• CUDD
• SATzilla
• ABC
• VIS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A self-adaptive multi-engine solver for quantified Boolean formulas
• 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
• Formal Methods in Computer-Aided Design
• Computer Aided Verification

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