Setup

To install ESBMC, download the latest binary for Linux or Windows from GitHub, then save and unzip it on your disk.

Once unzipped, read the license before running ESBMC. The distribution is split into two directories:

• bin: the static ESBMC binary;
• license: the ESBMC, Z3 and Boolector licenses.

If you want to use other SMT solvers (e.g. MathSAT, Yices, CVC4), check out the ESBMC source code and follow the Build Guide.