esbmc

Install command: 
brew install esbmc

Efficient SMT-based context-bounded model checker for C, C++, and Python

https://esbmc.github.io/

License: Apache-2.0

Development: Pull requests

Formula JSON API: /api/formula/esbmc.json

Formula code: esbmc.rb on GitHub

Bottle (binary package) installation support provided for:

macOS on
Apple Silicon		 tahoe ✅
sequoia ✅
sonoma ✅
macOS on
Intel		 sonoma ✅
Linux ARM64 ✅
x86_64 ✅

Current versions:

stable ✅ 8.4
head ⚡️ HEAD

Depends on:

bitwuzla 0.9.1 SMT solver for bit-vectors, floating-points, arrays and uninterpreted functions
boost 1.90.0 Collection of portable C++ source libraries
fmt 12.2.0 Open-source formatting library for C++
gmp 6.3.0 GNU multiple precision arithmetic library
llvm 22.1.8 Next-gen compiler infrastructure
python@3.14 3.14.6 Interpreted, interactive, object-oriented programming language
yaml-cpp 0.9.0 C++ YAML parser and emitter for YAML 1.2 spec
z3 4.16.0 High-performance theorem prover

Depends on when building from source:

bison 3.8.2 Parser generator
cmake 4.4.0 Cross-platform make
immer 0.9.1 Library of persistent and immutable data structures written in C++
nlohmann-json 3.12.0 JSON for modern C++
pkgconf 2.5.1 Package compiler and linker metadata toolkit

Analytics:

Installs (30 days)
esbmc 45
Installs on Request (30 days)
esbmc 45
Build Errors (30 days)
esbmc 2
Installs (90 days)
esbmc 115
Installs on Request (90 days)
esbmc 115
Installs (365 days)
esbmc 115
Installs on Request (365 days)
esbmc 115