Faculty of Computer Science

Research Group Theoretical Computer Science

Oberseminar: Heterogene formale Methoden

Date: 2018, June 13
Author: Günther, Stephan
Title: A Demo of the Hets RESTful Interface


The heterogeneous tool set (Hets) is a tool that integrates various specification languages with a multitude of different theorem provers. Hets' capabilities can be accessed through multiple interfaces, i.e., a command line interface (CLI), a graphical user interface (GUI), an interactive command prompt and an HTTP based REST API. This talk will focus on the RESTful interface. The call syntax and options of selected REST API calls will be outlined and their usage will be demonstrated on example specifications. The talk will conclude with a note on the API's significance for the integration of Hets into other projects.

Back to the Oberseminar web page