cubicle 1.0
| Authors | Sylvain Conchon and Alain Mebsout | ||||
|---|---|---|---|---|---|
| License | Apache Software License version 2.0 | ||||
| Homepage | http://cubicle.lri.fr | ||||
| Maintainer | mebsout@lri.fr | ||||
| Dependencies |
|
||||
| Optional dependencies |
|
||||
| OCaml | >= 4.00.0 | ||||
| Published | Aug 6, 2014 | ||||
| Source [http] |
http://cubicle.lri.fr/cubicle-1.0.tar.gz 24b163eb77e6832747dccd6cc8a5d57c |
||||
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/cubicle/cubicle.1.0/opam | ||||
SMT based model checker for parameterized systems
| No package is dependent |