Zusammenfassung: Currently, neural networks can only be used to a limited extent in safety-critical applications, because their quality and safety properties are difficult or impossible to prove due to their inherent complexity and their black-box character. The project CertML aims to improve and verify the safety of machine learning based systems.