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.
These details are provided for information only. No information here is legal advice and should not be used as such.
30 Day SummaryMar 23 2024 — Apr 22 2024
|
12 Month SummaryApr 22 2023 — Apr 22 2024
|