Faculty of Computer Science

Research Group Theoretical Computer Science

Oberseminar: Heterogene formale Methoden

Date: 2022, May 3
Time: 10:30 a. m.
Place: G29-018
Author: Kranz, Tom
Title: Connecting Inductive Provers to Hets


The Heterogeneous Tool Set (Hets) already offers a variety of input-output formats to manage heterogeneous specifications. In my Master's Thesis I want to describe the process of adding TIP (Tons of inductive problems) to Hets' input-output formats. This talk will explain my plan for achieving this and propose ways of evaluating the work.

Back to the Oberseminar web page