HST is an useful software package that includes the necessary tools for checking the refinement of CSP scripts.
HST contains a CSP library (written in C++), a CSPM libary (written in Haskell) and two command-line applications that can be used to process CSP scripts ( “cspm” and “csp0”).
cspm can be used to evaluate and compile CSPM scripts, and csp0 can perform refinement checks on the compiled CSP scripts.
What's New in This Release: [ read full changelog ]
· nametype statement
· datatype statement
· dotted values
· data-carrying channels
CSP₀ support for:
· replicated internal choice (⊓)