Boolean Satisfiability Solvers and Their Applications in Model Checking.Proceedings of the IEEE, 103(11):2021–2035, November 2015

Yakir Vizel, Georg Weissenbacher, Sharad Malik · 2021 · arXiv 2015.245503

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

representative citing papers

cs.SE · 2026-05-25 · unverdicted · novelty 0.0

This survey compiles the history, awards, funding, AI integrations, and open challenges of the ESBMC model checker from 2009 to 2026.

Showing 1 of 1 citing paper.

ESBMC: A Survey of Its Evolution, Integration, and Future Directions in Formal Software Verification cs.SE · 2026-05-25 · unverdicted · none · ref 51
This survey compiles the history, awards, funding, AI integrations, and open challenges of the ESBMC model checker from 2009 to 2026.