> Fighter planes are coded in C++, not Ada.

https://www.adacore.com/customers/eurofighter-typhoon https://www.adacore.com/customers/amx-modernization-program https://www.adacore.com/customers/arinc-653 https://www.adacore.com/company/our-customers