Formal Methods: Practice and Experience.ACM Computing Surveys, 41(4):1–36, October 2009

Jim Woodcock, Peter Gorm Larsen, Juan Bicarregui, John Fitzgerald · 2009 · DOI 10.1145/1592434

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

1 Pith paper citing it

open at publisher browse 1 citing papers

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 4
This survey compiles the history, awards, funding, AI integrations, and open challenges of the ESBMC model checker from 2009 to 2026.