The CSPM-cspm package

[Tags: bsd3, library, program]

cspm is a small command line tool for analyzing CSPM specifications. It supports serveral modes of operation. For example as:

cspm is not a full featured FDR replacement. The main purpose of cspm is to show how the different CSPM-packages work together. LTS computation can demonstrate nice speed-ups on multi-core machines. Try for example 'cspm +RTS -N7 -RTS fdr spec.csp' to use 7 cores.


Dependenciesbase (>=4.0 && <5.0), cmdargs (==0.6.8), containers (==0.4.*), CSPM-CoreLanguage (==0.2.*), CSPM-FiringRules (==0.3.*), CSPM-Frontend (==0.6.*), CSPM-Interpreter (==0.4.*), CSPM-ToProlog (==0.3.*), parallel (==3.1.*), pretty (==1.0.*), transformers (==0.2.*)
AuthorMarc Fontaine
MaintainerMarc Fontaine <>
CategoryLanguage, Formal Methods, Concurrency
Home page
UploadedFri Mar 18 16:04:25 UTC 2011 by MarcFontaine
Downloads1269 total (41 in last 30 days)
StatusDocs pending
Build status unknown [no reports yet]


Maintainers' corner

For package maintainers and hackage trustees