More and more challenging tasks are supported or controlled by IT systems. This ongoing digitalisation is accompanied by an increased risk of cyber attacks, data theft and other manipulations. This places ever higher demands on the security, stability and reliability of systems. Like the secure modelling of suitable tools, verification and certified testing are of equal importance.
© DFKI, 2023
