ESBMC

esbmc.orgsite

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.

from

Static Analysis & Code Quality

added

2026-10-10

likes

0

similar

1. ▲
   CBMC cprover.org

   site category #static-analysis link ↗

   Bounded model-checker for C programs, user-defined assertions, standard assertions, several coverage metric analyses.

2. ▲
   JBMC cprover.org

   site category #static-analysis link ↗

   Bounded model-checker for Java (bytecode), verifies user-defined assertions, standard assertions, several coverage metric analyses.

3. ▲
   ESM Cambrian (ESM C) github.com

   tool category #computational-biology link ↗

   Protein representation foundation-model family designed as an efficient next-generation successor to ESM2, spanning 300M to multi-billion-parameter models.

   
4. ▲
   VSB github.com

   tool category #dos link ↗

   A fork of SBEMU (see above), which also aims to offer Sound Blaster emulation for modern PC hardware, in both real mode and protected mode games.

   
5. ▲
   SBE github.com

   tool category #microservices link ↗

   Simple Binary Encoding (SBE).

   
6. ▲
   SWE-bench swebench.com

   site category #msr link ↗

   SWE-bench is a benchmark designed to evaluate the ability of AI models to solve real-world software engineering problems by generating fixes for issues found in open-source code repositories.

Static Analysis & Code Quality › Programming Languages: “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.”