BMoth

Model Checker for (a subset of) classical B based on Z3

Status of Build and Dependencies (Development Branch)

Development releases are available from here.

Name		Name	Last commit message	Last commit date
Latest commit History 1,428 Commits
gradle/wrapper		gradle/wrapper
src		src
.editorconfig		.editorconfig
.gitignore		.gitignore
.travis.yml		.travis.yml
LICENSE.md		LICENSE.md
README.md		README.md
build.gradle		build.gradle
gradle.properties		gradle.properties
gradlew		gradlew
gradlew.bat		gradlew.bat
settings.gradle		settings.gradle
sonar-project.properties		sonar-project.properties