|

|
Report broken link

Read reviews

Add a review
|
Report malware

Refer to a friend

Subscribe
|
|
|

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 ... [read more >>]

Add your comment.
Tell us your opinion or ask for help from a fellow Softpedian.
|
|
|

NOTE: If you have problems downloading HST, please try to stop using your download manager and avoid right clicking on files. Also, check your firewall settings, because some mirrors may require that you do not block the HTTP referers. For further information please read our Downloading FAQ & Guide

Please be aware that Softpedia accepts no responsibility for the software you are downloading. The same applies to the information provided about the software products listed, as the producer can modify it without notifying Softpedia. Even if we try to check the files for viruses ourselves, we cannot guarantee 100% that they are clean. For your own protection ALWAYS check downloaded files for viruses. |
|