CSPM-Frontend: A CSP-M parser compatible with FDR-2.83

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. This package is also used as the CSP-M frontend of the ProB animator and model checker.

Modules

[Index]

Flags

Automatic Flags

Name	Description	Default
testing	Testing mode	Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

• CSPM-Frontend-0.2.10.2.tar.gz [browse] (Cabal source package)
• Package description (as included in the package)

Maintainer's Corner

Package maintainers

• MarcFontaine

For package maintainers and hackage trustees

• edit package information

Candidates

• No Candidates