703083 VO Programmverifikation
Sommersemester 2021 | Stand: 19.04.2021 | 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 | ||
|
Mi 03.03.2021
|
14.15 - 17.00 | eLecture - online eLecture - online | ||
|
Mi 10.03.2021
|
14.15 - 17.00 | eLecture - online eLecture - online | ||
|
Mi 17.03.2021
|
14.15 - 17.00 | eLecture - online eLecture - online | ||
|
Mi 24.03.2021
|
14.15 - 17.00 | eLecture - online eLecture - online | ||
|
Mi 14.04.2021
|
14.15 - 17.00 | eLecture - online eLecture - online | ||
|
Mi 21.04.2021
|
14.15 - 17.00 | eLecture - online eLecture - online | ||
|
Mi 28.04.2021
|
14.15 - 17.00 | eLecture - online eLecture - online | ||
|
Mi 05.05.2021
|
14.15 - 17.00 | eLecture - online eLecture - online | ||
|
Mi 12.05.2021
|
14.15 - 17.00 | eLecture - online eLecture - online | ||
|
Mi 19.05.2021
|
14.15 - 17.00 | eLecture - online eLecture - online | ||
|
Mi 26.05.2021
|
14.15 - 17.00 | eLecture - online eLecture - online | ||
|
Mi 02.06.2021
|
14.15 - 17.00 | eLecture - online eLecture - online | ||
|
Mi 09.06.2021
|
14.15 - 17.00 | eLecture - online eLecture - online | ||
|
Mi 16.06.2021
|
14.15 - 17.00 | eLecture - online eLecture - online | ||
|
Mi 23.06.2021
|
14.15 - 17.00 | eLecture - online eLecture - online | ||