pareiza un pilnīga eatmn programmatūras verifikācija nozīmē visas programmatūras drošības garantijas prasības kuras pareizi formulē kādas riska novērtēšanas un mazināšanas procesa prasības attiecas uz prasības uz programmatūras sastāvdaļām un ka to izpilde atbilst programmatūras drošības garantijas līmenim