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:
- 133133243532015
Workflow integration:
- cli
https://github.com/esbmc/esbmc
Apache License 2.0
Maintained