cubicleversion
SMT based model checker for parameterized systems
Authors | Sylvain Conchon and Alain Mebsout |
---|---|
License | Apache-2.0 |
Published | |
Homepage | http://cubicle.lri.fr |
Maintainer | alainmebsout@gmail.com |
Dependencies | |
Optional dependencies | |
Conflicts |
|
Source [http] | https://github.com/ocaml/opam-source-archives/raw/main/cubicle-1.0.2.tar.gz md5=08a6f19c157037c162bb4a764f2c3747 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/cubicle/cubicle.1.0.2/opam |
No package is dependent