Sichere Software für Autos, Flugzeuge und Herzschrittmacher

Wenn die Software von Autos, Flugzeugen oder Herzschrittmachern Fehler hat, kann dies schwerwiegende Konsequenzen haben. Mathematische Modelle können helfen, solche Fehler zu vermeiden, indem das mögliche Verhalten des Systems für alle möglichen Eingaben systematisch überprüft wird. Dieser Vortrag gibt eine kurze Einführung, wie Systeme mathematisch beschrieben und automatisch auf Korrektheit überprüft werden können - und warum das nicht immer funktioniert.

Prof. Dr. Paula Herber