« July 2020 »
July
MoTuWeThFrSaSu
12345
6789101112
13141516171819
20212223242526
2728293031
Uni-Logo
You are here: Home Teaching Student Projects and Thesis Topics Available [Varies] Automata Theory and Program Analysis Topics Related to the Ultimate Tool
Document Actions

Automata Theory and Program Analysis Topics Related to the Ultimate Tool

Course type Varies
Instructors Matthias Heizmann, and others
Credits Depending on course type
Course Catalog

 

In our group we develop the award winning Ultimate tool whose source code is available at GitHub . A list of various topics related to Ultimate is available in the wiki
Personal tools