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