package promela
Library to create, manipulate and reason about PROMELA data structures.
Install
Dune Dependency
Authors
Maintainers
Sources
promela-0.4.2.tar.gz
sha256=e8bb3329e366ff50db3ea34d87bd7f65428a7f41bff42b74c8b42b111abc21ba
md5=8fc98a1f7f1302d30e682382b186d2a3
Description
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.
Published: 21 Nov 2013
Dependencies (4)
-
ocamlbuild
build -
ospec
>= "0.3.0" - ocamlfind
- ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page