CSPM-cspm: cspm command line tool for analyzing CSPM specifications.

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.

Downloads

• CSPM-cspm-0.4.4.0.tar.gz [browse] (Cabal source package)
• Package description (as included in the package)

Maintainer's Corner

Package maintainers

• MarcFontaine

For package maintainers and hackage trustees

• edit package information

Candidates

• No Candidates