package promela

  1. Overview
  2. Docs
Library to create, manipulate and reason about PROMELA data structures.

Install

Dune Dependency

Edit opam file Versions (1)

Authors

Maintainers

  1. F
    florian.pichlmeier@mytum.de

Sources

promela-0.4.2.tar.gz
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