At a time of cloud computing and cyber-physical systems like computer-assisted driving, software complexity is growing faster than the rate of improvement in related quality assurance techniques. The ERC-funded VAMOS project will develop monitoring software to identify potential vulnerabilities, errors, and unfair decisions at runtime. Specifically, the project will develop a quantitative...