Hets - the Heterogeneous Tool Set
About Hets
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. See the list of Languages and tools currently supported by Hets.
Obtaining Hets
Try out Hets quickly, using the Web-based interface, or download Hets
An emacs mode for editing CASL specifications.
The Hets license (English German) is similar to GPL.
Report a bug or see the list of known bugs.
Documentation
- A small video showing a heterogeneous proof
- A new video (H.264-Codec) showing a heterogeneous proof
- Hets user guide
- The Heterogeneous Tool Set by Till Mossakowski, Christian Maeder, Klaus Lüttich and Stefan Wölfl
- Heterogeneous specification and the heterogeneous tool set by Till Mossakowski
Hets source code and information for Hets developers
Author: Dr. Till Mossakowski
| Last updated: July 8, 2008 |  |