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.
Die Prüfung der Software bezeichnet die Bewertung des Ergebnisses der Entwicklung einer Software für Luftfahrtdaten und/oder Luftfahrtinformationen, um die Korrektheit und Konsistenz hinsichtlich der Inputs und der bei diesem Prozess angewandten Softwarestandards, -vorschriften und -konventionen zu gewährleisten.