„korrekte und vollständige Verifizierung der EATMN-Software“ bedeutet, dass alle Software-Sicherheitsanforderungen die an die Software-Komponente im Rahmen der Risikobewertung und -minderung gestellten Ansprüche korrekt darstellen und dass die Erfüllung dieser Sicherheitsanforderungen nach Maßgabe der geforderten Software-Sicherheitsanforderungsstufe nachgewiesen wird;
„correcte en volledige verificatie van de EATMN-software”: situatie waarin alle softwareveiligheidseisen correct de eisen weergeven die in het kader van het risicobeoordelings- en -beperkingsproces aan de softwarecomponent worden gesteld en waarin de toepassing van die eisen overeenkomstig het vereiste softwarezekerheidsniveau is aangetoond;