CSPM-cspm
Version 0.4.4.0 revision 0 uploaded by MarcFontaine.
Package meta
- Synopsis
- cspm command line tool for analyzing CSPM specifications.
- Description
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.
- Author
- Marc Fontaine
- Bug reports
- n/a
- Category
- Language,Formal Methods,Concurrency
- Copyright
- n/a
- Homepage
- http://www.stups.uni-duesseldorf.de/~fontaine/csp
- Maintainer
- Marc Fontaine <fontaine@cs.uni-duesseldorf.de>
- Package URL
- n/a
- Stability
- experimental