703084 PS Programmverifikation

Sommersemester 2023 | Stand: 06.03.2023 LV auf Merkliste setzen
703084
PS Programmverifikation
PS 2
3
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 formal 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

wöchentliche Bearbeitung von Übungsaufgaben

siehe Termine
Gruppe 1
Datum Uhrzeit Ort
Mi 15.03.2023
12.15 - 14.00 HS 11 HS 11 Barrierefrei
Mi 22.03.2023
12.15 - 14.00 HS 11 HS 11 Barrierefrei
Mi 29.03.2023
12.15 - 14.00 HS 11 HS 11 Barrierefrei
Mi 19.04.2023
12.15 - 14.00 HS 11 HS 11 Barrierefrei
Mi 26.04.2023
12.15 - 14.00 HS 11 HS 11 Barrierefrei
Mi 03.05.2023
12.15 - 14.00 HS 11 HS 11 Barrierefrei
Mi 10.05.2023
12.15 - 14.00 HS 11 HS 11 Barrierefrei
Mi 17.05.2023
12.15 - 14.00 HS 11 HS 11 Barrierefrei
Mi 24.05.2023
12.15 - 14.00 HS 11 HS 11 Barrierefrei
Mi 31.05.2023
12.15 - 14.00 HS 11 HS 11 Barrierefrei
Mi 07.06.2023
12.15 - 14.00 HS 11 HS 11 Barrierefrei
Mi 14.06.2023
12.15 - 14.00 HS 11 HS 11 Barrierefrei
Mi 21.06.2023
12.15 - 14.00 HS 11 HS 11 Barrierefrei
Mi 28.06.2023
12.15 - 14.00 HS 11 HS 11 Barrierefrei