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

[ bsd3, concurrency, formal-methods, language, library, program ] [ Propose Tags ]

cspm is a small command line tool for analyzing CSPM specifications. It supports four modes of operation: 1) cspm eval -> evaluate an expression. 2) cspm trace -> interactively trace a process. 3) cspm dot -> compute the labeled transition system of a process and dump it as dot-file. 4) cspm fdr -> 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 (if the LTS contains enough branching).

Versions [faq] 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, 0.6.0.4, 0.7.0.0, 0.8.0.0, 0.8.1.0
Dependencies base (>=4.0 && <5.0), cmdargs (==0.1.*), containers (==0.3.*), CSPM-CoreLanguage (==0.1.*), CSPM-FiringRules (==0.1.*), CSPM-Frontend (>=0.3.0.0), CSPM-Interpreter (==0.3.*), parallel (==2.2.*) [details]
License BSD-3-Clause
Author 2010 Marc Fontaine
Maintainer Marc Fontaine <fontaine@cs.uni-duesseldorf.de>
Category Language, Formal Methods, Concurrency
Home page http://www.stups.uni-duesseldorf.de/~fontaine/csp
Uploaded by MarcFontaine at 2010-06-10T15:47:32Z
Distributions NixOS:0.8.1.0
Executables cspm
Downloads 9350 total (6 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2016-12-29 [all 6 reports]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees