BMoth Model Checker for (a subset of) classical B based on Z3 Status of Build and Dependencies (Development Branch) Download BMoth Development releases are available from here.
