Verifikation von C-Programmen
Willkommen auf der Heimatseite der Lehrveranstaltung „Verifikation von C-Programmen 3“ im Wintersemester 2014/2015.
Daten und Termine
- Master-Ergänzung, Profil SQ, 6 ECTS.
- VAK: 03-ME-706.09
- Termine:
Do 14-16 MZH 3420 (Abweichender Ort am 27.11.2014: MZH 3150)
Voraussetzungen
Teilnehmer sollten Erfahrungen mit C haben. Vorkenntnisse in formaler Logik helfen weiter, werden aber nicht vorausgesetzt.