Slide 1FAA-Qualifiable Ada Subset Compiler V. Santhanam Boeing Slide 2 Agenda Problem statement Problem statement Qualifying a compiler Qualifying a compiler The subset The…