Description
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.
User Reviews for HST FOR MAC 1
-
for HST FOR MAC
HST FOR MAC provides essential tools for verifying CSP scripts. The CSP library and command-line applications streamline the process efficiently.