Library to create, manipulate and reason about PROMELA data structures.
Description

Library to create, manipulate and reason about PROMELA data structures.

Install

Documentation Edit opam file

Published

21 Nov 2013

Authors

Maintainers

Sources

promela-0.4.2.tar.gz
md5=8fc98a1f7f1302d30e682382b186d2a3

Dependencies

ocamlbuild build
ospec >= "0.3.0"
ocamlfind
ocaml

Reverse Dependencies

None

Conflicts

None