HST iconHST 1.0 Alpha 4

Refinement checker for the CSP process.
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.

last updated on:
September 22nd, 2012, 0:40 GMT
file size:
1.2 MB
price:
FREE!
developed by:
HST Team
license type:
Freeware
operating system(s):
Mac OS X 10.0 or later
binary format:
Universal Binary
category:
Home \ Math/Scientific

FREE!

In a hurry? Add it to your Download Basket!

user rating

UNRATED
0.0/5
 

0/5

1 Screenshot
HST
What's New in This Release:
  • CSPM compiler:
  • comments
  • nametype statement
  • datatype statement
read full changelog

Add your review!

SUBMIT