Holger Hermanns

Automated Safety Verification of Programs Invoking Neural Networks

2021 · Lecture notes in computer science

Abstract State-of-the-art program-analysis techniques are not yet able to effectively verify safety properties of heterogeneous systems, that is, systems with components implemented using diverse technologies. This shortcoming is pinpointed by programs invoking neural networks despite …