« February 2020 »
February
MoTuWeThFrSaSu
12
3456789
10111213141516
17181920212223
242526272829
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