@hackage CSPM-Frontend0.4.0.0

A CSP-M parser compatible with FDR-2.83

  • Installation

  • Dependencies (0)

  • Dependents (0)

    • Package Flags

      testing
       (off by default)

      Testing mode

CSP-M is the machine readable syntax of CSP (concurrent sequential processes) as used by the formal methods tools FDR, Prob and ProB. This Package contains functions for lexing, parsing, renaming and pretty-printing CSP-M specifications. The parser is (almost) 100% compatible with the FDR-2.83 parser.