@hackage CSPM-cspm0.4.0.0
cspm command line tool for analyzing CSPM specifications.
Categories
License
BSD-3-Clause
Maintainer
Marc Fontaine <fontaine@cs.uni-duesseldorf.de>
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
Installation
Dependencies (0)
- CSPM-CoreLanguage >=0.1 && <0.2
- CSPM-FiringRules >=0.1 && <0.2
- CSPM-Frontend >=0.4 && <0.5
- CSPM-Interpreter >=0.4 && <0.5
- base >=4.0 && <5.0
- cmdargs >=0.3 && <0.4 Show all…
Dependents (1)
@hackage/acme-everything
cspm is a small command line tool for analyzing CSPM specifications.
It supports four modes of operation (eval, trace, dot and fdr)
and can be called 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 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 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.