703084 PS Programmverifikation

Sommersemester 2020 | Stand: 25.05.2020 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
assoz. Prof. Dr. René Thiemann assoz. Prof. Dr. René Thiemann, +43 512 507 53234
703084
PS Programmverifikation
PS 2
3
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 formal 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

wöchentliche Bearbeitung von Übungsaufgaben

https://lms.uibk.ac.at/url/RepositoryEntry/4646404192
http://cl-informatik.uibk.ac.at/teaching/ss20/pv
siehe Termine
Gruppe 1
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Datum Uhrzeit Ort
Mi 11.03.2020
 14.15 - 16.00 SR 13 SR 13 Barrierefrei
Mi 18.03.2020
 14.15 - 16.00 SR 13 SR 13 Barrierefrei
Mi 25.03.2020
 14.15 - 16.00 SR 13 SR 13 Barrierefrei
Mi 01.04.2020
 14.15 - 16.00 SR 13 SR 13 Barrierefrei
Mi 22.04.2020
 14.15 - 16.00 SR 13 SR 13 Barrierefrei
Mi 29.04.2020
 14.15 - 16.00 SR 13 SR 13 Barrierefrei
Mi 06.05.2020
 14.15 - 16.00 SR 13 SR 13 Barrierefrei
Mi 13.05.2020
 14.15 - 16.00 SR 13 SR 13 Barrierefrei
Mi 20.05.2020
 14.15 - 16.00 SR 13 SR 13 Barrierefrei
Mi 27.05.2020
 14.15 - 16.00 SR 13 SR 13 Barrierefrei
Mi 03.06.2020
 14.15 - 16.00 SR 13 SR 13 Barrierefrei
Mi 10.06.2020
 14.15 - 16.00 SR 13 SR 13 Barrierefrei
Mi 17.06.2020
 14.15 - 16.00 SR 13 SR 13 Barrierefrei
Mi 24.06.2020
 14.15 - 16.00 SR 13 SR 13 Barrierefrei