« July 2018 »
July
MoTuWeThFrSaSu
1
2345678
9101112131415
16171819202122
23242526272829
3031
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