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.1.2.tar.gz

sha256=c4e9b4a6d98617885d3dea72d6a61567a31d37fbbc95c9ee823c6f19109938ff

md5=706b3405ea9400b6a1b21dec9c2cb02f

doc/index.html

cubicle