esbmc/esbmc

esbmc (Efficient SMT‑Based Context‑bounded Model Checker) is an open‑source verification tool that uses SAT/SMT solving to perform bounded model checking of C/C