Lehrveranstaltungen
| Wintersemester/Winter Term 2021/2022 | |
|---|---|
| Software Engineering | Kurswebseite |
| Automated Theorem Proving | Course Website |
| Seminar: Deductive and Interactive Verifiers | Seminar Website |
| Sommersemester/Summer Term 2021 | |
| Lecture: Formal Specification and Verification of Software | Course Website |
| Lecture: Model Checking | Course Website |
| Seminar: Symbolic Execution | Seminar Website |
| Wintersemester/Winter Term 2020/2021 | |
| Software Engineering | Kurswebseite |
| Seminar: Actor-based Languages | Seminarwebseite |
| Sommersemester/Summer Term 2020 | |
| Analysis of Hybrid Systems (engl.) | Kurswebseite |
| Automated Theorem Proving (engl.) | Kurswebseite |
| Research Seminar: Software Engineering using Formal Methods (dt./engl.) | Mitarbeiter_innen & Bachelor-/Masterarbeitschreibende |
| Wintersemester/Winter Term 2019/2020 | |
| Software Engineering | Raumaufteilung Klausur |
| Formale Methoden im Software Entwurf (dt.) | Kurswebseite |
| Seminar: Actor-based Languages | (TUCaN) |
| Sommersemester/Summer Term 2019 | |
| Formal Specification and Verification of Software (engl.) | Kurswebseite |
| Seminar: Symbolic Execution (dt./engl.) | Seminar Webseite |
| Bachelorpraktikum für PsychIt | Kurswebseite |
| Research Seminar: Software Engineering using Formal Methods (dt./engl.) | Mitarbeiter_innen & Bachelor-/Masterarbeitschreibende |
| Wintersemester/Winter Term 2018/2019 | |
| Formale Methoden im Software Entwurf (dt.) | Kurswebseite |
| Seminar: Symbolic Execution | Seminar Webseite |
| Research Seminar: Software Engineering using Formal Methods (dt./engl.) | Mitarbeiter_innen & Bachelor-/Masterarbeitschreibende |
| Sommersemester/Summer Term 2018 | |
| Formale Methoden im Software Entwurf (dt.) | Kurswebseite |
| Seminar: Modeling and Analysis of actor-based Software Systems (engl.) |
Seminar Website |
| Research Seminar: Software Engineering using Formal Methods (dt./engl.) |
Mitarbeiter_innen & Bachelor-/Masterarbeitschreibende |