cubicle

SMT based model checker for parameterized systems
Description
Install
Published
18 Jan 2018
Authors
Maintainers
Sources
cubicle-1.1.2.tar.gz
md5=706b3405ea9400b6a1b21dec9c2cb02f
Dependencies
ocaml >= "4.03.0" & < "5.0.0"
Reverse Dependencies
Conflicts
functory < "0.5"