package cubicle

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

Install

Dune Dependency

Authors

Maintainers

Sources

cubicle-1.0.2.tar.gz
md5=08a6f19c157037c162bb4a764f2c3747

Description

Published: 18 Jun 2015

Dependencies (3)

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

Dev Dependencies

None

Used by

None

Conflicts (1)

  1. functory < "0.5"