hackage.haskell.org : 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.
Registry
- JSON
purl: pkg:hackage/CSPM-Frontend
Keywords:
bsd3
, concurrency
, formal-methods
, language
, library
, Propose Tags
License: BSD-3-Clause
Latest release: almost 8 years ago
First release: about 16 years ago
Dependent repositories: 1
Downloads: 13,053 total
Last synced: 14 days ago