
Moderne Softwaresysteme – sie steuern schon heute kritische Infrastrukturen, Fabrikanlagen, selbstfahrende Autos oder Smarthomes. Das Problem dabei: Viele dieser Systeme sind so komplex geworden, dass kein Experte mehr nachvollziehen kann, ob, wie und warum sie funktionieren. Wissenschaftler der Universität des Saarlandes, des Max-Planck-Instituts für Softwaresysteme, des CISPA Helmholtz-Zentrums für Informationssicherheit…