703083 VO Programmverifikation
Sommersemester 2023 | Stand: 06.09.2023 | LV auf Merkliste setzen703083
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
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 10.03.2023
|
08.15 - 11.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 17.03.2023
|
08.15 - 11.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 24.03.2023
|
08.15 - 11.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 31.03.2023
|
08.15 - 11.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 21.04.2023
|
08.15 - 11.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 28.04.2023
|
08.15 - 11.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 05.05.2023
|
08.15 - 11.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 12.05.2023
|
08.15 - 11.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 19.05.2023
|
08.15 - 11.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 26.05.2023
|
08.15 - 11.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 02.06.2023
|
08.15 - 11.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 09.06.2023
|
08.15 - 11.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 16.06.2023
|
08.15 - 11.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 23.06.2023
|
08.15 - 11.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 30.06.2023
|
08.15 - 11.00 | SR 13 SR 13 | Barrierefrei | |
|
Mi 25.10.2023
|
11.00 - 13.00 | 3W04 3W04 | Barrierefrei | 2. Klausur |