cubicle

Authors { Sylvain Conchon, Alain Mebsout }
License Apache Software License version 2.0
Homepage http://cubicle.lri.fr
Maintainer alainmebsout@gmail.com
Dependencies
ocamlfind
Optional dependencies
functory
Available ocaml-version >= "4.00.0"
Published Jun 18, 2015
Source [http] http://cubicle.lri.fr/cubicle-1.0.2.tar.gz
08a6f19c157037c162bb4a764f2c3747
Statistics Installed 10 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/cubicle/cubicle.1.0.2/opam

SMT based model checker for parameterized systems

No package is dependent