- ESBMC is a software model checker for detecting and proving the absence of runtime errors for C/C++, Kotlin, Python, and Solidity programs.
lucasccordeiro / cbmc Goto Github PK
View Code? Open in Web Editor NEWThis project forked from diffblue/cbmc
C Bounded Model Checker
Home Page: http://www.cprover.org/cbmc
License: Other