Analysis tools logo
0

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:
    8181128272015
Workflow integration:
  • Type: cli
    cli

Official ESBMC Homepage

https://github.com/esbmc/esbmc

Apache License 2.0

Maintained

Similar Tools

  • 2Unibeautify
  • 0vera++
  • 0Veracode
  • 0Undebt
  • -1XCode