cubicleversion

SMT based model checker for parameterized systems

AuthorsSylvain Conchon and Alain Mebsout
LicenseApache Software License version 2.0
Published
Homepagehttp://cubicle.lri.fr
Maintainermebsout@lri.fr
Dependencies
Optional dependencies
Source [http] http://cubicle.lri.fr/cubicle-1.0.1.tar.gz
md5=a13b45e48ba6bfa35f38ed52cb639c13
StatisticsInstalled once last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/cubicle/cubicle.1.0.1/opam
No package is dependent