@hackage CSPM-cspm0.8.1.0
cspm command line tool for analyzing CSPM specifications.
Categories
License
BSD-3-Clause
Maintainer
Marc Fontaine <Marc.Fontaine@gmx.de>
Links
Versions
Installation
Dependencies (14)
- base >=4.0 && <5.0
- containers >=0.5 && <0.6
- parallel >=3.2 && <3.3
- transformers >=0.5
- CSPM-CoreLanguage >=0.3.1 && <0.4
- CSPM-FiringRules >=0.4.4 && <0.5 Show all…
Dependents (1)
@hackage/acme-everything
CSPM-cspm
This package provides the cspm executable. The cspm executable serves as a command line interface to the other CSPM-packages. It can be used to parse, translate and interpret cspm specifications and to compute the labeled transition system (LTS) of a specification.
Modes
cspm has several modes of operation:
- '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 (only some assertions are supported).
- 'cspm lts spec.csp --dotOut spec.csp.dot' -> compute the labeled transition system of a process and dump it as dot-file.
- 'cspm lts spec.csp --fdrOut spec.csp.fdr' -> compute the LTS and dump it a fdr script suitable for refinement checking.
Lua Interface
cspm comes with a built-in lua interpreter.
Multi Core Support
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.