HETS v0.99

HETS - the Heterogeneous Tool Set - is a parsing, static analysis and proof management tool incorporating various provers and different specification languages, thus providing a tool for heterogeneous specifications. Logic translations are first-class citizens.

Accessing the software

To load the module:

$ module load apps/hets/v0.99

An example command to include in your job script:

hets <input_file>

The module command also sets the following environment variables:

  • HETS_LIB refers to a library collection which was checked out from https://svn-agbkb.informatik.uni-bremen.de/Hets-lib/trunk/
  • HETS_OWL_TOOLS contains the location of.jar files AProVE.jar OWL2Parser.jar OWLLocality.jar
  • HETS_APROVE contains the full path to AProVE.jar
  • PELLET_PATH contains pellet v2.3.1

Accessing Previous Versions

Wherever possible, previous versions of this application will be retained for continuity, especially for research projects that require a consistent version of the software throughout the project. Such versions, however, may be unsupported by IT Services or the applications vendor, and may be withdrawn at short or no notice if they can no longer run on the cluster - for example, essential operating system upgrades may be incompatible with old versions.

At present there are no previous versions of this application on the BlueBEAR service.

Known Problems & Limitations

None.

Other Information

The Support Level for this application is An.

Visit the HETS website for more information regarding this application.


Last modified: 24 November 2017