11:45 - 12:15 Uhr / UniMS
Model-Checking: Wie der Computer Fehler findet
Software ist oft fehlerhaft. Bei PC-Anwendungen ist dies zwar ärgerlich, aber nicht gefährlich. Sie steuert aber auch Flugzeuge, Ampeln etc. Es werden Techniken vorgestellt, Softwarefehler mit Computerhilfe aufzudecken.
Die Veranstaltung ist eine extra Hochschultagveranstaltung.
Dozent*innen: Roman Lakenbrink
Anzahl der freien Plätze: 28