Especificación de la profundidad y amplitud de las actividades de análisis y verificación de programas informáticos necesarias para proporcionar un nivel de confianza suficiente de que una función de seguridad crítica o relacionada con la seguridad se llevará a cabo según se requiera.
