Deutsches Forschungszentrum für Künstliche Intelligenz German Research Center for Artificial Intelligence
Vor Markteinführung müssen Computersysteme auf ihre Korrektheit überprüft werden. Eine vollständige Verifikation ist aufgrund der Komplexität heutiger ...
© DFKI, 2022