Parallel SAT solving in bounded model checking

DOI10.1093/LOGCOM/EXP002MaRDI QIDQ3069995zbMATH OpenOpenAlexFDO

Authors Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde

Publication date 2 February 2011

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exp002

zbMATH Keywords

linear programminghybrid systemsSAT solvingbounded model checkingparallel programs

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1670796
• SAT-Based Model Checking
• Accelerating bounded model checking of safety properties
• Theory and Applications of Models of Computation
• Towards better heuristics for solving bounded model checking problems

Cited in

(12)

• Challenges in Constraint-Based Analysis of Hybrid Systems
• Fractal Parallelism: Solving SAT in Bounded Space and Time
• An incremental algorithm to check satisfiability for bounded model checking
• Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
• Efficient distributed SAT and SAT-based distributed bounded model checking
• An expressive model for instance decomposition based parallel SAT solvers
• Towards better heuristics for solving bounded model checking problems
• Parallelizing SMT solving: lazy decomposition and conciliation
• PaSAT -- parallel SAT-checking with lemma exchange: Implementation and applications
• Correct Hardware Design and Verification Methods
• Under-approximation heuristics for grid-based bounded model checking
• scientific article; zbMATH DE number 5510692 (Why is no real title available?)

Describes a project that uses

Uses Software

• MiniSat
• MPI/MPICH
• Chaff
• BerkMin

This page was built for publication: Parallel SAT solving in bounded model checking

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