Distributed bounded model checking

DOI10.1007/s10703-021-00385-1MaRDI QIDQ6661747

Subhajit Roy, Akash Lal, [[Person:6485570|Author name not available (Why is that?)]], Bui Phi Diep

Publication date: 13 January 2025

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

Mathematics Subject Classification ID

Could not fetch data.

Cites Work

• A cooperative parallelization approach for property-directed \(k\)-induction
• A fast parallel SAT-solver -- efficient workload balancing
• PSATO: A distributed propositional prover and its application to quasigroup problems
• Model Checking with Multi-threaded IC3 Portfolios
• SAT-Based Model Checking without Unrolling
• Back to the future
• Incorporating Learning in Grid-Based Randomized SAT Solving
• Reachability Modulo Theories
• 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)