| Course | Teacher |
|---|---|
| Lecture: Satisfiability Checking |
Ábrahám, Corzilius, Kremer |
| Master-Seminar: Safety Analysis for Hybrid Systems |
Ábrahám, Kowalewski, Chen, Makhlouf, Kremer |
| Master-Praktikum: SMT-Solving with EL and UF |
Ábrahám, Corzilius, Kremer |
| Software-Projektpraktikum: Explorative Suche mit Lego Mindstorms Robotern |
Ábrahám, Nellen, Schupp |
| Proseminar: Algorithms and Tools for Verification |
Ábrahám, Corzilius, Kremer, Nellen, Schupp |
| Praktikum: Optimierung eines Solarturmkraftwerkes |
Ábraham, Richter |