package promela

  1. Overview
  2. Docs
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)

  1. ocamlbuild build
  2. ospec >= "0.3.0"
  3. ocamlfind
  4. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.