The CSPM-Frontend package
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.
Properties
| Versions | 0.2.8.0, 0.2.10.2, 0.3.0.3, 0.3.0.4, 0.4.0.0, 0.4.1.0, 0.4.1.1, 0.6.8.0, 0.7.4.4, 0.9.0.6 |
|---|---|
| Dependencies | array (0.4.*), base (≥4.0 & <5.0), containers (0.4.*), ghc-prim (0.2.*), mtl (2.1.*), parsec2 (≥1.0.0 & <1.1.0), prettyclass (1.0.*), syb (0.3.*) |
| License | BSD3 |
| Author | Marc Fontaine 2007 - 2012 |
| Maintainer | Marc Fontaine <Marc.Fontaine@gmx.de>, me@dobrikov.biz |
| Stability | maintained |
| Category | Language, Formal Methods, Concurrency |
| Upload date | Mon Jul 2 14:37:43 UTC 2012 |
| Uploaded by | MarcFontaine |
| Built on | ghc-7.4 |
Modules
Downloads
- CSPM-Frontend-0.9.0.6.tar.gz (Cabal source package)
- package description (included in the package)