703084 PS Programmverifikation

Sommersemester 2022 | Stand: 04.03.2022 | LV auf Merkliste setzen

Institut:

Institut für Informatik

Lektor/in/n/en:

Priv.-Doz. Dr. Christian Sternagel
assoz. Prof. Dr. René Thiemann, +43 512 507 53234

LV-Nummer:

703084

Titel:

PS Programmverifikation

Typ/Stunden:

PS 2

ECTS-AP:

Rhythmus:

wöch.

Wiederholungsturnus:

jährlich

Unterrichtssprache:

Englisch

Lernergebnis:

Die Studierenden können nach Abschluss dieses Moduls Spezifikation von Programmen verstehen, erstellen und korrigieren. Sie haben die Fertigkeit erworben, Spezifikationen formal nachzuweisen. Dabei setzen sie eine Kombination aus interaktiven und automatischen Methoden ein, um ausdrucksstarke Logiken mit effizienter Beweissuche zu kombinieren.

Inhalt:

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

Prüfungsmodus:

wöchentliche Bearbeitung von Übungsaufgaben

OLAT:

https://lms.uibk.ac.at/url/RepositoryEntry/5190975668

Link:

http://cl-informatik.uibk.ac.at/teaching/ss22/pv

Beginn:

siehe Termine

Studienzuordnung(en)

Fakultät für Mathematik, Informatik und Physik

Bachelorstudium Informatik nach dem Curriculum 2019 (180 ECTS-AP, 6 Semester)

Wahlmodule (15 ECTS-AP)

Wahlmodul 1: Programmverifikation (7,5 ECTS-AP, 5 SSt.)

Nachhaltigkeitsziele

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

Termine

Gruppe 1	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Thiemann R.
Datum	Uhrzeit	Ort
Mi 16.03.2022	14.15 - 16.00	Gr. HS Gr. HS	Barrierefrei
Mi 23.03.2022	14.15 - 16.00	Gr. HS Gr. HS	Barrierefrei
Mi 30.03.2022	14.15 - 16.00	Gr. HS Gr. HS	Barrierefrei
Mi 06.04.2022	14.15 - 16.00	Gr. HS Gr. HS	Barrierefrei
Mi 27.04.2022	14.15 - 16.00	Gr. HS Gr. HS	Barrierefrei
Mi 04.05.2022	14.15 - 16.00	Gr. HS Gr. HS	Barrierefrei
Mi 11.05.2022	14.15 - 16.00	Gr. HS Gr. HS	Barrierefrei
Mi 18.05.2022	14.15 - 16.00	Gr. HS Gr. HS	Barrierefrei
Mi 25.05.2022	14.15 - 16.00	Gr. HS Gr. HS	Barrierefrei
Mi 01.06.2022	14.15 - 16.00	Gr. HS Gr. HS	Barrierefrei
Mi 08.06.2022	14.15 - 16.00	Gr. HS Gr. HS	Barrierefrei
Mi 15.06.2022	14.15 - 16.00	Gr. HS Gr. HS	Barrierefrei
Mi 22.06.2022	14.15 - 16.00	Gr. HS Gr. HS	Barrierefrei
Mi 29.06.2022	14.15 - 16.00	Gr. HS Gr. HS	Barrierefrei
Gruppe 2	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Sternagel C.
Datum	Uhrzeit	Ort
Mi 16.03.2022	16.15 - 17.45	rr 21 rr 21	Barrierefrei
Mi 23.03.2022	16.15 - 17.45	rr 21 rr 21	Barrierefrei
Mi 30.03.2022	16.15 - 17.45	rr 21 rr 21	Barrierefrei
Mi 06.04.2022	16.15 - 17.45	rr 21 rr 21	Barrierefrei
Mi 27.04.2022	16.15 - 17.45	rr 21 rr 21	Barrierefrei
Mi 04.05.2022	16.15 - 17.45	rr 21 rr 21	Barrierefrei
Mi 11.05.2022	16.15 - 17.45	rr 21 rr 21	Barrierefrei
Mi 18.05.2022	16.15 - 17.45	rr 21 rr 21	Barrierefrei
Mi 25.05.2022	16.15 - 17.45	rr 21 rr 21	Barrierefrei
Mi 01.06.2022	16.15 - 17.45	rr 21 rr 21	Barrierefrei
Mi 08.06.2022	16.15 - 17.45	rr 21 rr 21	Barrierefrei
Mi 15.06.2022	16.15 - 17.45	rr 21 rr 21	Barrierefrei
Mi 22.06.2022	16.15 - 17.45	rr 21 rr 21	Barrierefrei
Mi 29.06.2022	16.15 - 17.45	rr 21 rr 21	Barrierefrei