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.3.*), base (≥4.0 & <5.0), containers (0.4.*), mtl (1.1.*), parsec2 (≥1.0.0 & <1.1.0), pretty (1.0.*), syb (0.3.*) or array (0.3.*), base (≥4.0 & <5.0), containers (0.4.*), mtl (2.0.*), parsec2 (≥1.0.0 & <1.1.0), pretty (1.0.*), syb (0.3.*) |
| License | BSD3 |
| Author | Marc Fontaine 2007 - 2011 |
| Maintainer | Marc Fontaine <fontaine@cs.uni-duesseldorf.de>, me@dobrikov.biz |
| Stability | maintained |
| Category | Language, Formal Methods, Concurrency |
| Home page | http://www.stups.uni-duesseldorf.de/~fontaine/csp |
| Upload date | Fri Mar 18 16:01:31 UTC 2011 |
| Uploaded by | MarcFontaine |
| Built on | ghc-7.0 |
Modules
Downloads
- CSPM-Frontend-0.6.8.0.tar.gz (Cabal source package)
- package description (included in the package)