« January 2018 »
January
MoTuWeThFrSaSu
1234567
891011121314
15161718192021
22232425262728
293031
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