ilverifika ta softwer tfisser levalwazzjoni talħruġ ta proċess ta żvilupp ta softwer għal dejta ajrunawtika u/jew informazzjoni ajrunawtika biex jiġu żgurati lkorrettezza u lkonsistenza firrigward talinputs u talistandards irregoli u lkonvenzjonijiet tassoftwer applikabbli użati fdak ilproċess