cubicle

AuthorsSylvain Conchon and Alain Mebsout
LicenseApache Software License version 2.0
Homepagehttp://cubicle.lri.fr
Issue Trackerhttps://github.com/cubicle-model-checker/cubicle/issues
Maintaineralainmebsout@gmail.com
Dependencies
&num
ocamlfind
Optional dependencies
functory
Availableocaml-version >= "4.03.0"
PublishedJan 15, 2018
Source [http] https://github.com/cubicle-model-checker/cubicle/releases/download/1.1.2/cubicle-1.1.2.tar.gz
706b3405ea9400b6a1b21dec9c2cb02f
StatisticsInstalled 8 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/cubicle/cubicle.1.1.2/opam

SMT based model checker for parameterized systems

No package is dependent