Hets

From Ontohub
Revision as of 20:18, 4 May 2017 by Tillmo (talk | contribs) (start)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

The heterogeneous tool set (Hets) is a parsing, static analysis and proof management tool incorporating various provers and different logical languages, thus providing a tool for heterogeneous ontologies, models and specifications. Logic translations are first-class citizens. Hets is the central analysis tool for DOL.

Find more about Hets on the Hets homepage.