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 several 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.

Properties

Versions 0.1.0.0, 0.2.0.0, 0.3.0.0, 0.4.0.0, 0.4.4.0, 0.4.4.1, 0.5.6.0, 0.6.0.4, 0.7.0.0, 0.8.0.0
Dependencies base (>=4.0 && <5.0), cmdargs (==0.9.*), containers (==0.4.*), CSPM-CoreLanguage (==0.3.*), CSPM-FiringRules (==0.4.*), CSPM-Frontend (==0.9.*), CSPM-Interpreter (==0.6.*), CSPM-ToProlog (==0.5.*), hslua (==0.3.4), parallel (==3.2.*), pretty (==1.1.*), prettyclass (==1.0.*), syb (==0.3.*), transformers (==0.3.*), xml (==1.3.*) [details]
License BSD3
Author Marc Fontaine
Maintainer Marc Fontaine <Marc.Fontaine@gmx.de>
Category Language, Formal Methods, Concurrency
Uploaded Mon Jul 2 14:43:11 UTC 2012 by MarcFontaine
Distributions NixOS:0.8.0.0
Executables cspm
Downloads 3114 total (47 in the last 30 days)
Rating 0.0 (0 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees