package cubicle

  1. Overview
  2. No Docs
SMT based model checker for parameterized systems

Install

Dune Dependency

Authors

Maintainers

Sources

24b163eb77e6832747dccd6cc8a5d57c
md5=24b163eb77e6832747dccd6cc8a5d57c

Description

Published: 06 Aug 2014

Dependencies (3)

  1. num
  2. ocamlfind
  3. ocaml >= "4.00.0" & < "4.03.0"

Dev Dependencies

None

Used by

None

Conflicts (1)

  1. functory < "0.5"
OCaml

Innovation. Community. Security.