‘correct and complete EATMN software verification’ means all software safety requirements which correctly state what is required of the software component by the risk assessment and mitigation process and their implementation is demonstrated to the level required by the software assurance level;
«vérification correcte et complète d'un logiciel EATMN»: le cas où toutes les exigences de sécurité d'un logiciel énoncent correctement les exigences applicables au composant logiciel en vertu du processus d'évaluation et d'atténuation des risques, et où leur mise en œuvre est démontrée au niveau requis par le niveau d'assurance logicielle;