Department für Informatik

Formale Methoden

Lehre

Leitung

Prof. Dr. Heike Wehrheim

Kontakt

Sekretariat

Marion Bramkamp

Uhlhornsweg 84 — Raum A2 2-228

+49 441 798-4522

Lehre

Lehre

Lehrveranstaltungen

Wintersemester 2024 / 2025

2.01.401 Grundlagen der Theoretischen Informatik

2.01.401a Grundlagen der Theoretischen Informatik (Ü)

2.01.401b Grundlagen der Theoretischen Informatik (Ü)

2.01.401d Grundlagen der Theoretischen Informatik (Ü)

2.01.401e Grundlagen der Theoretischen Informatik (Ü)

2.01.401f Grundlagen der Theoretischen Informatik (Ü)

2.01.490 Logical Methods in AI Verification

2.01.800-B Proseminar: Techniken der Programmanalyse

2.01.801-B Forschungsseminar Formale Methoden

2.01.AM-22 Oberseminar Formale Methoden

Verfügbare Abschlussarbeiten

Bachelor

ACSL2C
Status: verfügbar, Kontakt: Nicola Anna Thoben
ARG Manipulation
Status: verfügbar, Kontakt: Nicola Anna Thoben
From incorrectness logic proofs to violation witnesses
Status: verfügbar, Kontakt: Prof. Dr. Heike Wehrheim
Learning Contracts
Status: verfügbar, Kontakt: Nicola Anna Thoben

Laufende Abschlussarbeiten

Master

Program logic for the weak memory model of C11
Status: vergeben, Kontakt: Prof. Dr. Heike Wehrheim

Abgeschlossene Abschlussarbeiten

2023

Hey ChatGPT! Please verify my program.
Status: abgeschlossen, Kontakt: Cedric Richter
Identitätstransformationen zum Testen von Verifikationswerkzeugen
Status: abgeschlossen, Kontakt: Cedric Richter
Simulation einer operationellen Semantik eines schwachen Speichermodells
Status: abgeschlossen, Kontakt: Prof. Dr. Heike Wehrheim

(Stand: 20.06.2024) |