703083 VO Programmverifikation

Sommersemester 2020 | Stand: 25.05.2020 | LV auf Merkliste setzen

Institut:

Institut für Informatik

Lektor/in/n/en:

assoz. Prof. Dr. René Thiemann, +43 512 507 53234

LV-Nummer:

703083

Titel:

VO Programmverifikation

Typ/Stunden:

VO 3

ECTS-AP:

4,5

Rhythmus:

wöch.

Wiederholungsturnus:

jährlich

Unterrichtssprache:

Deutsch

Lernergebnis:

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.

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:

Schriftliche Prüfung am Ende des Semesters.

eLearning-Anteile:

Aufzeichnung

OLAT:

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

Link:

http://cl-informatik.uibk.ac.at/teaching/ss20/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.)

Termine

Gruppe 0	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Datum	Uhrzeit	Ort
Fr 06.03.2020	10.15 - 13.00	HS 10 HS 10	Barrierefrei
Fr 13.03.2020	12.30 - 15.30	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 20.03.2020	12.30 - 15.30	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 27.03.2020	12.30 - 15.30	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 03.04.2020	12.30 - 15.30	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 24.04.2020	13.30 - 16.30	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 08.05.2020	12.30 - 15.30	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 15.05.2020	12.30 - 15.30	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 22.05.2020	10.15 - 13.00	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 29.05.2020	12.30 - 15.30	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 05.06.2020	12.30 - 15.30	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 12.06.2020	12.30 - 15.30	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 19.06.2020	12.30 - 15.30	HS D (Technik) HS D (Technik)	Barrierefrei
Fr 26.06.2020	12.30 - 15.30	HS D (Technik) HS D (Technik)	Barrierefrei