The CSPM-cspm package

[ Tags: bsd3, concurrency, formal-methods, language, library, program ] [ Propose Tags ]

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.


Dependencies base (>=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.*) [details]
License BSD3
Author Marc Fontaine
Maintainer Marc Fontaine <>
Category Language, Formal Methods, Concurrency
Home page
Uploaded Fri Mar 18 16:04:25 UTC 2011 by MarcFontaine
Distributions NixOS:
Executables cspm
Downloads 4643 total (950 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-12-28 [all 6 reports]
Hackage Matrix CI


Maintainer's Corner

For package maintainers and hackage trustees