HST for Mac

1.2 MB   181 downloads
1.0 Alpha 4 100% FREE Freeware    
  not rated
Refinement checker for the CSP process.

description

download

specifications

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
1  
HST

top FREE alternatives

0 User reviews so far.

SUBMIT