cubicleversion Documentation on ocaml.org
SMT based model checker for parameterized systems
| Authors | Sylvain Conchon and Alain Mebsout |
|---|---|
| License | Apache-2.0 |
| Published | |
| Homepage | http://cubicle.lri.fr |
| Issue Tracker | https://github.com/cubicle-model-checker/cubicle/issues |
| Maintainer | alainmebsout@gmail.com |
| Dependencies | |
| Optional dependencies | |
| Conflicts |
|
| Source [http] | https://github.com/cubicle-model-checker/cubicle/releases/download/1.1.2/cubicle-1.1.2.tar.gz sha256=c4e9b4a6d98617885d3dea72d6a61567a31d37fbbc95c9ee823c6f19109938ff md5=706b3405ea9400b6a1b21dec9c2cb02f |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/cubicle/cubicle.1.1.2/opam |
No package is dependent
