HST 1.0 Alpha 4
Refinement checker for the CSP process.
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.
In a hurry? Add it to your Download Basket!
What's New in This Release:
- CSPM compiler:
- nametype statement
- datatype statement