ESBMC

At a Glance

Applications	Model Checker
Developers	Federal University of Amazonas University of Bristol University of Manchester University of Southampton University of Stellenbosch
Licenses	Apache-2.0 BSD 3-clause BSD 4-clause GPLv3 MIT
Maintenance	Actively Maintained

ESBMC is a context-bounded model checker based on satisfiability modulo theories for verifying single- and multi-threaded C/C++ programs.