Hets

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.