HST for Mac

1.0 Alpha 4 100% FREE Freeware    
  UNRATED
DOWNLOAD NOW 1.2 MB

  181 downloads

Refinement checker for the CSP process.

description

download

specs

changelog

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.
read more   
Last updated on September 22nd, 2012

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

HST

top FREE alternatives

0 User reviews so far.

SUBMIT