package cubicle

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

Install

Dune Dependency

cubicle.lri.fr Edit opam file Versions (5)

Authors

  1. S
    Sylvain Conchon
  2. A
    Alain Mebsout

Maintainers

  1. A
    alainmebsout@gmail.com

Sources

cubicle-1.1.2.tar.gz
sha256=c4e9b4a6d98617885d3dea72d6a61567a31d37fbbc95c9ee823c6f19109938ff
md5=706b3405ea9400b6a1b21dec9c2cb02f

Description

Published: 18 Jan 2018

Dependencies (3)

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

Dev Dependencies

None

Used by

None

Conflicts (1)

  1. functory < "0.5"
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct