Module Promela

module Promela: sig .. end
Module for creating Promela processes and models as OCaml data structures.

module Identifier: sig .. end
Representation of Promela identifiers
module Identifierset: Set.S  with type elt = Identifier.t
A set of Promela identifiers
module Label: sig .. end
Promela Labels for e.g.
module Type: sig .. end
Promela Types for variable declarations
module Expression: sig .. end
Promela Expressions for e.g.
module Declarations: sig .. end
Promela variable declarations
module Statement: sig .. end
Promela statements
module Process: sig .. end
Promela processes
module Model: sig .. end
A complete Promela model
module Normalization: sig .. end
Normalization functions