… However, this graph is just a parameter: indeed, the HETS … of the HETS modules implementing
heterogeneous specification, and this separation of concerns is essential to keep the tool …

… The Heterogeneous Tool Set Hets is a tool implementing the theory developed so far. Its …
have implemented heterogeneous tools for parsing and static analysis of heterogeneous Casl (…

… -based Heterogeneous Tool Sets (Hets) with logical frameworks in general and LF and
the Twelf tool in particular. The structuring language used by Hets has a model theoretic …

… Heterogeneous Tool Set (Hets [11]) is a parsing, analysis and proof management tool for
heterogeneous specifications, available at hets… , and provides tool support for modular …

… The Heterogeneous Tool Set Hets is a tool implementing the theory developed so far. Its …
have implemented heterogeneous tools for parsing and static analysis of heterogeneous Casl. …

… In this paper we show how the environment can be supported in practice using the Heterogenous
Tool Set (Hets,[3]) , which is meant to support heterogeneous multi-logic specifications…

… Heterogeneous Tool Set (HETS) is to provide an open source general framework for formal
methods integration and proof management. One can think of HETS … and proof tools) as well …

… Using the Heterogeneous Tool Set HETS, we found out that only two of the axioms in
AxRelBib are provable in this way; the second relationship pointing from the paper field of the …

… in a heterogeneous setting in a modular way, as it is supported in the Heterogeneous Tool
Set Hets [1], it … Hets uses the following approaches to check consistency of Casl specifications: …

… We describe how hybridisation and lifting of encodings to first-order logic are implemented
in an extension of the Heterogeneous Tool Set in their full generality. We illustrate the …