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.