Onder „verificatie van software” wordt verstaan de evaluatie van de output van de ontwikkeling van software voor luchtvaartgegevens en/of -informatie, om de correctheid en consequentheid met betrekking tot de in dat ontwikkelingsproces gebruikte input en toepasselijke softwarenormen, -regels en -afspraken te garanderen.
La vérification du logiciel consiste à évaluer les résultats d’un processus de développement d’un logiciel pour des données et/ou informations aéronautiques afin de s’assurer qu’ils sont corrects et cohérents par rapport aux éléments de départ et aux normes, règles et conventions logicielles applicables utilisées lors de ce processus.