@hackage CSPM-Frontend0.12.1.0
A CSP-M parser compatible with FDR-2.91
Categories
License
BSD-3-Clause
Maintainer
Marc Fontaine <Marc.Fontaine@gmx.de>, me@dobrikov.biz
Links
Versions
Installation
Dependencies (10)
Dependents (4)
@hackage/CSPM-cspm, @hackage/acme-everything, @hackage/CSPM-Interpreter, @hackage/CSPM-ToProlog
CSPM-Frontend
CSP-M is the machine readable syntax of CSP (concurrent sequential processes) as used by the formal methods tools FDR, Probe 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.91 parser.