703083 VO Programmverifikation
Sommersemester 2025 | Stand: 11.12.2025 | 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
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
- Fakultät für LehrerInnenbildung
- 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 | ||
|
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 | |
|
Do 08.01.2026
|
11.45 - 13.30 | 3W04 3W04 | Barrierefrei | 3. Klausur |
| Gruppe | Anmeldefrist | Prüfungsdatum | |
|---|---|---|---|
|
703083-0
703083-0 |
26.11.2025 10:40 - 06.01.2026 23:59 |
08.01.2026
11:45-13:30
3W04
|
|
|
Hinweis: 3. Klausur |
Thiemann R. | ||