promela

Library to create, manipulate and reason about PROMELA data structures.
IN THIS PACKAGE

Libraries

This package provides the following libraries (via ocamlobjinfo):

promela

Documentation:

  • Identifier
  • Identifierset
  • Expression
  • Type
  • Declarations
  • Label
  • Serialize
  • Statement
  • Process
  • Model
  • Normalization
  • Promela