Hard- und Software sicher machen - mit Logik und Mathe

Es ist eines der grundlegendsten Forschungsvorhaben der
Cyberagentur: formale Verifikation. Sie kann mit Logik und Mathe
beweisen, dass eine Soft- oder Hardware sicher ist. Welche enormen
Auswirkungen das auf unsere IT haben kann, bespricht Marcel mit
zwei Informatikern: Dr. Dirk Pollmächer von der Cyberagentur und
Dr. Sebastian Ertel vom Barkhausen Institut. Eine Vision der
beiden: mit formaler Verifikation lässt sich auch KI grundlegend
sicher machen.