0
I Use This!
Activity Not Available
Analyzed 5 months ago. based on code collected 5 months ago.

Project Summary

Hets is a parsing, static analysis and proof management tool combining various tools for different specification languages, thus providing a tool for the heterogeneous specification language HetCASL.
The structuring constructs of this language are those of CASL, plus some new heterogeneous constructs for indicating the language and for language translations.
Hence, Hets is based on a graph of logics and languages.

Tags

prover staticanalysis

In a Nutshell, Hets - the Heterogenous Toolset...

Hets License
Permitted
Forbidden
Required

These details are provided for information only. No information here is legal advice and should not be used as such.

All Licenses

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    Black Duck offers a free trial so you can discover if there are open source vulnerabilities in your code
  • ...
    by exploring contributors within projects, you can view details on every commit they have made to that project
  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    data presented on the Open Hub is available through our API

Languages

Languages?height=75&width=75
Haskell
67%
XML
13%
TeX/LaTeX
13%
15 Other
7%

30 Day Summary

Jan 20 2018 — Feb 19 2018

12 Month Summary

Feb 19 2017 — Feb 19 2018

Ratings

Be the first to rate this project
Click to add your rating
   Spinner
Review this Project!