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 |