HST 1.0 Alpha 4

Refinement checker for the CSP process.

  Add it to your Download Basket!

 Add it to your Watch List!

0/5

Rate it!

What's new in HST 1.0 Alpha 4:

  • CSPM compiler:
  • comments
  • nametype statement
  • datatype statement
Read full changelog
report
malware
send us
an update
LICENSE TYPE:
Freeware 
FILE SIZE:
1.2 MB
USER RATING:
UNRATED
  0.0/5
DEVELOPED BY:
HST Team
CATEGORY:
Home \ Math/Scientific
1 HST Screenshot:
HST
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

Runs on: Mac OS X 10.0 or later (Universal Binary)

#analyze CSP script #compile CSP script #refinement check #analyze #compile #CSP #refinement

Add your review!

SUBMIT