703084 PS Programmverifikation
Sommersemester 2021 | Stand: 25.02.2021 | LV auf Merkliste setzen703084
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
- Fakultät für Mathematik, Informatik und Physik
- SDG 4 - Hochwertige Bildung: Inklusive, gleichberechtigte und hochwertige Bildung gewährleisten und Möglichkeiten lebenslangen Lernens für alle fördern
- SDG 9 - Industrie, Innovation und Infrastruktur: Eine widerstandsfähige Infrastruktur aufbauen, breitenwirksame und nachhaltige Industrialisierung fördern und Innovationen unterstützen
|
Gruppe 1
|
||||
|---|---|---|---|---|
| Datum | Uhrzeit | Ort | ||
|
Di 09.03.2021
|
14.15 - 16.00 | eLecture - online eLecture - online | ||
|
Di 16.03.2021
|
14.15 - 16.00 | eLecture - online eLecture - online | ||
|
Di 23.03.2021
|
14.15 - 16.00 | eLecture - online eLecture - online | ||
|
Di 13.04.2021
|
14.15 - 16.00 | eLecture - online eLecture - online | ||
|
Di 20.04.2021
|
14.15 - 16.00 | eLecture - online eLecture - online | ||
|
Di 27.04.2021
|
14.15 - 16.00 | eLecture - online eLecture - online | ||
|
Di 04.05.2021
|
14.15 - 16.00 | eLecture - online eLecture - online | ||
|
Di 11.05.2021
|
14.15 - 16.00 | eLecture - online eLecture - online | ||
|
Di 18.05.2021
|
14.15 - 16.00 | eLecture - online eLecture - online | ||
|
Di 25.05.2021
|
14.15 - 16.00 | eLecture - online eLecture - online | ||
|
Di 01.06.2021
|
14.15 - 16.00 | eLecture - online eLecture - online | ||
|
Di 08.06.2021
|
14.15 - 16.00 | eLecture - online eLecture - online | ||
|
Di 15.06.2021
|
14.15 - 16.00 | eLecture - online eLecture - online | ||
|
Di 22.06.2021
|
14.15 - 16.00 | eLecture - online eLecture - online | ||