| Course | Teacher |
|---|---|
| Lecture: Satisfiability Checking |
Ábrahám, Corzilius, Kremer |
| Softwareprojektpraktikum: SMT-Solving with EL and UF |
Ábrahám, Corzilius, Kremer |
| Proseminar: Algorithms and Tools for Verification |
Ábrahám, Corzilius, Kremer, Nellen |
| Seminar: Selected Topics in Satisfiability Checking |
Ábrahám, Corzilius, Kremer, Nellen, Schupp |
| Praktikum: State set representation techniques for hybrid systems |
Ábrahám, Schupp |
| Praktikum: Solarturm |
Ábrahám, Richter, Frank |