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.


Properties

Versions0.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
Dependenciesbase (>=4.0 && <5.0), cmdargs (>=0.10.0 && <0.11), containers (==0.5.*), CSPM-CoreLanguage (==0.3.*), CSPM-FiringRules (==0.4.*), CSPM-Frontend (==0.10.*), CSPM-Interpreter (==0.7.*), CSPM-ToProlog (==0.5.*), hslua (>=0.3.12 && <0.4), parallel (==3.2.*), pretty (==1.1.*), prettyclass (==1.0.*), syb (==0.4.*), transformers (>=0.3), xml (==1.3.*)
LicenseBSD3
AuthorMarc Fontaine
MaintainerMarc Fontaine <fontaine@cs.uni-duesseldorf.de>
Stabilityexperimental
CategoryLanguage, Formal Methods, Concurrency
Executablescspm
Upload dateFri Sep 26 16:43:52 UTC 2014
Uploaded byMarcFontaine
Downloads1063 total (116 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees