703083 VO Programmverifikation
Sommersemester 2022 | Stand: 13.07.2022 | LV auf Merkliste setzen703083
VO Programmverifikation
VO 3
4,5
wöch.
jährlich
Englisch
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
Schriftliche Prüfung am Ende des Semesters.
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 0
|
||||
|---|---|---|---|---|
| Datum | Uhrzeit | Ort | ||
|
Fr 11.03.2022
|
08.15 - 11.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 18.03.2022
|
08.15 - 11.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 25.03.2022
|
08.15 - 11.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 01.04.2022
|
08.15 - 11.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 08.04.2022
|
08.15 - 11.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 29.04.2022
|
08.15 - 11.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 06.05.2022
|
08.15 - 11.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 13.05.2022
|
08.15 - 11.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 20.05.2022
|
08.15 - 11.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 27.05.2022
|
08.15 - 11.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 03.06.2022
|
08.15 - 11.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 10.06.2022
|
08.15 - 11.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 17.06.2022
|
08.15 - 11.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 24.06.2022
|
08.15 - 11.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 01.07.2022
|
08.15 - 11.00 | Gr. HS Gr. HS | Barrierefrei | Prüfung |
|
Di 20.09.2022
|
08.45 - 11.15 | HS 10 HS 10 | Barrierefrei | 2. Klausur |