HST  (1.0 Alpha 4) Free Download

HST 1.0 Alpha 4 Description:
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.

HST: HST for Mac, Refinement checker for the CSP process.
Publisher: HST Team
HST free downloadDownload
HST Screenshot Screenshot
    Rate it
Category: Math 
Publisher: HST Team    More titles >>
Last Updated: 03/09/2019
Requirements: Mac OS X 10.0 or later
License: Freeware
Operating system: Mac
Hits: 168
File size: 1.2 MB 
Price: Not specified

Latest Arrivals