esbmc/esbmc

The efficient SMT-based context-bounded model checker (ESBMC)

↗ Open on GitHub

Stars

517

Forks

144

Language

C++

License

NOASSERTION

Last push

12 hours ago

C++python kotlin cpp c automated-testing automated-verification bmc cheri cp-solver incremental-learning k-induction smt-solver solidity-contracts

No related intel yet

This repo has not appeared in any of the sources the radar tracks. The collector runs on a schedule — check back once it covers this repo.