
Modern software systems already control critical infrastructures, factories, self-driving cars and smart homes. The problem is that many of these systems have become so complex that no expert can understand if, how and why they work. Scientists at Saarland University, the Max Planck Institute for Software Systems, the CISPA Helmholtz…