ESBMC
ESBMC is an open source, permissively licensed, context-bounded model checker based on satisfiability modulo theories for the verification of single- and multi-threaded C/C++ programs.
Github:
- 152152282622015
Workflow integration:
- cli
https://github.com/esbmc/esbmc
Apache License 2.0
Maintained