promela

Maintainer florian.pichlmeier@mytum.de
Dependencies
& ocamlbuild
ocamlfind
ospec >= 0.3.0
Published Oct 24, 2012
Source [http] http://forge.ocamlcore.org/frs/download.php/1040/promela-0.4.2.tar.gz
8fc98a1f7f1302d30e682382b186d2a3
Statistics Installed 4 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/promela/promela.0.4.2/opam

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

The PROMELA OCaml library provides types to create, manipulate and to reason about PROMELA programs. The OCaml data structures can finally be converted to their textual representation with a pretty-printer to be used with the SPIN model checker.

No package is dependent