The CSPM-cspm package
cspm is a small command line tool for analyzing CSPM specifications. It supports serveral modes of operation. For example as:
'cspm --help' -> print a help message.
'cspm eval 3+4' -> evaluate an expression.
'cspm trace spec.csp' -> interactively trace a process.
'cspm assert spec.csp' -> check the assertions of a specification.
'cspm dot spec.csp' -> compute the labeled transition system of a process and dump it as dot-file.
'cspm fdr spec.csp' -> compute the LTS and dump it a fdr script suitable for refinement checking.
'cspm toprolog spec.csp' -> generate prolog output for ProB
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 |
|---|---|
| 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.*) |
| License | BSD3 |
| Author | Marc Fontaine |
| Maintainer | Marc Fontaine <fontaine@cs.uni-duesseldorf.de> |
| Stability | experimental |
| Category | Language, Formal Methods, Concurrency |
| Home page | http://www.stups.uni-duesseldorf.de/~fontaine/csp |
| Executables | cspm |
| Upload date | Fri Mar 18 16:16:04 UTC 2011 |
| Uploaded by | MarcFontaine |
Downloads
- CSPM-cspm-0.4.4.1.tar.gz (Cabal source package)
- package description (included in the package)