Distributed bounded model checking

DOI10.1007/S10703-021-00385-1MaRDI QIDQ6661747zbMATH OpenFDO

Authors Subhajit Roy, Bui Phi Diep, Akash Lal

Publication date 13 January 2025

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

Full work available at URL https://doi.org/10.1007/S10703-021-00385-1

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• Distributed symbolic bounded property checking
• Distributed and predictable software model checking
• Efficient distributed SAT and SAT-based distributed bounded model checking
• Distributed explicit bounded LTL model checking
• Proof-Guided Underapproximation Widening for Bounded Model Checking

Cites work

• A cooperative parallelization approach for property-directed \(k\)-induction
• A fast parallel SAT-solver -- efficient workload balancing
• Back to the future, revisiting precise program verification using SMT solvers
• Incorporating Learning in Grid-Based Randomized SAT Solving
• Model checking with multi-threaded IC3 portfolios
• PSATO: A distributed propositional prover and its application to quasigroup problems
• Reachability modulo theories
• SAT-Based Model Checking without Unrolling
• SMTS: Distributed, Visualized Constraint Solving
• Theory and Applications of Satisfiability Testing

This page was built for publication: Distributed bounded model checking

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