Presents a dynamic partitioning parallel SMT framework with core-guided pruning and backbone detection that outperforms sequential Z3 and prior parallel solvers on SMT-COMP 2025 benchmarks across six logics.
Cordeiro, Bernd Fischer, and João Marques-Silva
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
This survey compiles the history, awards, funding, AI integrations, and open challenges of the ESBMC model checker from 2009 to 2026.
citing papers explorer
-
Parallel SMT Solving via Dynamic Partitioning, Core-Guided Pruning, and Online Backbone Detection
Presents a dynamic partitioning parallel SMT framework with core-guided pruning and backbone detection that outperforms sequential Z3 and prior parallel solvers on SMT-COMP 2025 benchmarks across six logics.
-
ESBMC: A Survey of Its Evolution, Integration, and Future Directions in Formal Software Verification
This survey compiles the history, awards, funding, AI integrations, and open challenges of the ESBMC model checker from 2009 to 2026.