package cubicle

You can search for identifiers within the package.

in-package search v0.2.0

SMT based model checker for parameterized systems

Install

Dune Dependency

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

Authors

Maintainers

A

alainmebsout@gmail.com

Sources

cubicle-1.2.0.tar.gz

sha256=e6bdbc8d6b8105e77e909e431d1dc6673e4d271bc8b135b35d7731d8fbe7ba0e

doc/index.html

cubicle