Hets - the Heterogeneous Tool Set
Hets is a parsing, static analysis and proof management tool incorporating various provers and different specification languages, thus providing a tool for heterogeneous specifications.
The structuring constructs of the heterogeneous specification language are those of the language CASL, plus some constructs to select languages (logics) and language translations. The heterogeneous specification language of Hets is called HetCASL.
Thus, Hets is based on a graph of logics and logic translations. languages and the overall architecture is depicted below.
Obtaining Hets
Documentation
Author: Dr. Till Mossakowski
| Last updated: July 16, 2010 |  |