« November 2019 »
November
MoTuWeThFrSaSu
123
45678910
11121314151617
18192021222324
252627282930
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