Verificación de Software (Aviónica)
Definición
El conjunto de actividades planificadas y evidencias que demuestran que el software de aviónica implementa correctamente los requisitos especificados y se comporta según lo previsto en su contexto operativo previsto.