703083 VO Programmverifikation
Sommersemester 2024 | Stand: 18.12.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
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 | ||
|
Mi 06.03.2024
|
08.15 - 10.45 | HS 10 HS 10 | Barrierefrei | |
|
Mi 13.03.2024
|
08.15 - 10.45 | HS 10 HS 10 | Barrierefrei | |
|
Mi 20.03.2024
|
08.15 - 10.45 | HS 10 HS 10 | Barrierefrei | |
|
Mi 10.04.2024
|
08.15 - 10.45 | HS 10 HS 10 | Barrierefrei | |
|
Mi 17.04.2024
|
08.15 - 10.45 | HS 10 HS 10 | Barrierefrei | |
|
Mi 24.04.2024
|
08.15 - 10.45 | HS 10 HS 10 | Barrierefrei | |
|
Mi 08.05.2024
|
08.15 - 10.45 | HS 10 HS 10 | Barrierefrei | |
|
Mi 15.05.2024
|
08.15 - 10.45 | HS 10 HS 10 | Barrierefrei | |
|
Mi 22.05.2024
|
08.15 - 10.45 | HS 10 HS 10 | Barrierefrei | |
|
Mi 29.05.2024
|
08.15 - 10.45 | HS 10 HS 10 | Barrierefrei | |
|
Mi 05.06.2024
|
08.15 - 10.45 | HS 10 HS 10 | Barrierefrei | |
|
Mi 12.06.2024
|
08.15 - 10.45 | HS 10 HS 10 | Barrierefrei | |
|
Mi 19.06.2024
|
08.15 - 10.45 | HS 10 HS 10 | Barrierefrei | |
|
Mi 26.06.2024
|
08.15 - 10.45 | HS 10 HS 10 | Barrierefrei | |
| Gruppe | Anmeldefrist | Prüfungsdatum | |
|---|---|---|---|
| 703083-0 | 01.02.2024 08:00 - 30.06.2024 23:59 | Zur LV anmelden | |
| Thiemann R. | |||
| 703083-0 | 22.05.2024 00:00 - 19.06.2024 23:59 |
26.06.2024
08:15-11:00
HS 10
|
|
|
Hinweis: 1st exam |
Thiemann R. | ||