cubicleversion

SMT based model checker for parameterized systems

AuthorsSylvain Conchon and Alain Mebsout
LicenseApache-2.0
Published
Homepagehttp://cubicle.lri.fr
Maintainermebsout@lri.fr
Availablefalse
Dependencies
Optional dependencies
Source [http] https://opam.ocaml.org/cache/md5/24/24b163eb77e6832747dccd6cc8a5d57c
md5=24b163eb77e6832747dccd6cc8a5d57c
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/cubicle/cubicle.1.0/opam
No package is dependent