Springer Berlin Heidelberg, Berlin, Heidelberg, 2016

Rajdeep Mukherjee, Michael Tautschnig, Daniel Kroening · 2016 · DOI 10.1007/978-3-662-49674-9_

2 Pith papers cite this work. Polarity classification is still indexing.

2 Pith papers citing it

open at publisher browse 2 citing papers

representative citing papers

cs.LG · 2026-05-29 · unverdicted · novelty 7.0

Value functions of policies satisfying ω-regular properties encode Streett supermartingale certificates under appropriate rewards.

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 after filters.

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