0
I Use This!
Inactive
Analyzed 1 day ago. based on code collected 1 day 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...

  • ...
    in 2016, 47% of companies did not have formal process in place to track OS code
  • ...
    anyone with an Open Hub account can update a project's tags
  • ...
    there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
  • ...
    by exploring contributors within projects, you can view details on every commit they have made to that project

Languages

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

30 Day Summary

Sep 15 2019 — Oct 15 2019

12 Month Summary

Oct 15 2018 — Oct 15 2019

Ratings

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