cubicleversion
SMT based model checker for parameterized systems
| Authors | Sylvain Conchon and Alain Mebsout |
|---|---|
| License | Apache-2.0 |
| Published | |
| Homepage | http://cubicle.lri.fr |
| Maintainer | mebsout@lri.fr |
| Available | false |
| Dependencies | |
| Optional dependencies | |
| Conflicts |
|
| Source [http] | https://opam.ocaml.org/cache/md5/24/24b163eb77e6832747dccd6cc8a5d57c md5=24b163eb77e6832747dccd6cc8a5d57c |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/cubicle/cubicle.1.0/opam |
No package is dependent
