703083 VO Programmverifikation

Sommersemester 2025 | Stand: 21.12.2024 LV auf Merkliste setzen
703083
VO Programmverifikation
VO 3
4,5
wöch.
jährlich
Deutsch

Die Studierenden können nach Abschluss dieses Moduls Spezifikation von Programmen verstehen, erstellen und korrigieren. Sie haben die Fertigkeit erworben, Spezifikationen for-mal nachzuweisen. Dabei setzen sie eine Kombination aus interaktiven und automatischen Methoden ein, um ausdrucksstarke Logiken mit effizienter Beweissuche zu kombinieren.

  • Validierung und Verifikation
  • partielle Korrektheit und Terminierung
  • automatisierte Terminierungsanalyse
  • Verwendung eines SMT-solvers
  • Spezifikation von Programmeigenschaften
  • Verifikation von funktionalen Programmen
  • Verifikation von imperativen Programmen
  • Beweistechniken: Induktion, Invarianten, Generalisierungen

Vortrag, Beurteilung aufgrund eines einzigen Prüfungsaktes am Ende der Lehrveranstaltung.

Schriftliche Prüfung am Ende des Semesters.

Unterlagen werden auf der Kurswebseite zur Verfügung gestellt.

Kenntnisse über funktionale Programmierung und Logik.

Die Vorlesungssprache ist deutsch, die Unterlagen sind jedoch in englischer Sprache verfasst.

siehe Termine
Gruppe 0
Datum Uhrzeit Ort
Mo 03.03.2025
08.30 - 11.00 SR 12 SR 12 Barrierefrei
Mo 10.03.2025
08.30 - 11.00 SR 12 SR 12 Barrierefrei
Mo 17.03.2025
08.30 - 11.00 SR 12 SR 12 Barrierefrei
Mo 24.03.2025
08.30 - 11.00 SR 12 SR 12 Barrierefrei
Mo 31.03.2025
08.30 - 11.00 SR 12 SR 12 Barrierefrei
Mo 07.04.2025
08.30 - 11.00 SR 12 SR 12 Barrierefrei
Mo 28.04.2025
08.30 - 11.00 SR 12 SR 12 Barrierefrei
Mo 05.05.2025
08.30 - 11.00 SR 12 SR 12 Barrierefrei
Mo 12.05.2025
08.30 - 11.00 SR 12 SR 12 Barrierefrei
Mo 19.05.2025
08.30 - 11.00 SR 12 SR 12 Barrierefrei
Mo 26.05.2025
08.30 - 11.00 SR 12 SR 12 Barrierefrei
Mo 02.06.2025
08.30 - 11.00 SR 12 SR 12 Barrierefrei
Mo 16.06.2025
08.30 - 11.00 SR 12 SR 12 Barrierefrei
Mo 23.06.2025
08.30 - 11.00 SR 12 SR 12 Barrierefrei
Gruppe Anmeldefrist
703083-0 01.02.2025 08:00 - 30.06.2025 23:59
Thiemann R.