cubicleversion

SMT based model checker for parameterized systems

AuthorsSylvain Conchon and Alain Mebsout
LicenseApache-2.0
Published
Homepagehttp://cubicle.lri.fr
Maintaineralainmebsout@gmail.com
Dependencies
Optional dependencies
Source [http] https://opam.ocaml.org/cache/md5/08/08a6f19c157037c162bb4a764f2c3747
md5=08a6f19c157037c162bb4a764f2c3747
StatisticsInstalled 35 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/cubicle/cubicle.1.0.2/opam
No package is dependent