Verificación de software crítico para la seguridad de la aviónica