promelaversion
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.
Published | |
---|---|
Maintainer | florian.pichlmeier@mytum.de |
Dependencies |
|
Source [http] | https://download.ocamlcore.org/promela/promela/0.4.2/promela-0.4.2.tar.gz sha256=e8bb3329e366ff50db3ea34d87bd7f65428a7f41bff42b74c8b42b111abc21ba md5=8fc98a1f7f1302d30e682382b186d2a3 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/promela/promela.0.4.2/opam |
No package is dependent