703641 Interaktives Beweisen

Wintersemester 2016/2017 | Stand: 20.10.2016 LV auf Merkliste setzen
703641
Interaktives Beweisen
PS 3
6
wöch.
2-Jahresrhythmus
Englisch

Absolventinnen und Absolventen dieses Moduls sind mit der Verifikation von Spezifikationen vertraut. Sie kennen ein- und höherstufige Logiken und können strukturierte Beweise in dies en Logiken durchführen sowie in interaktiven Beweisern verifizieren.

Vertiefendes Verständnis des interaktiven Beweisens durch Training mit weit verbreitetem Theorembeweiser; Übungen mittels Fallstudien von Programmen aus unterschiedlichen Bereichen; Bearbeitung eines größeren Verifikationsprojekts

Proseminar

Immanente Prüfungscharakter

Wird im Kurs bekannt gegeben

Keine

siehe Termine
Gruppe 0
Datum Uhrzeit Ort
Mo 03.10.2016
14.15 - 17.00 3W03 3W03 Barrierefrei
Mo 10.10.2016
14.15 - 17.00 3W03 3W03 Barrierefrei
Mo 17.10.2016
14.15 - 17.00 3W03 3W03 Barrierefrei
Mo 24.10.2016
14.15 - 17.00 3W03 3W03 Barrierefrei
Mo 31.10.2016
14.15 - 17.00 3W03 3W03 Barrierefrei
Mo 07.11.2016
14.15 - 17.00 3W03 3W03 Barrierefrei
Mo 14.11.2016
14.15 - 17.00 3W03 3W03 Barrierefrei
Mo 21.11.2016
14.15 - 17.00 3W03 3W03 Barrierefrei
Mo 28.11.2016
14.15 - 17.00 3W03 3W03 Barrierefrei
Mo 05.12.2016
14.15 - 17.00 3W03 3W03 Barrierefrei
Mo 12.12.2016
14.15 - 17.00 3W03 3W03 Barrierefrei
Mo 09.01.2017
14.15 - 17.00 3W03 3W03 Barrierefrei
Mo 16.01.2017
14.15 - 17.00 3W03 3W03 Barrierefrei
Mo 23.01.2017
14.15 - 17.00 3W03 3W03 Barrierefrei
Mo 30.01.2017
14.15 - 17.00 3W03 3W03 Barrierefrei