Surely your comment was written in jest, but one example of companies that uses (or used) Ada is SAAB: https://www.adacore.com/press/saab-signs-corporate-wide-s

Surely your comment was written in jest, but one example of companies that uses (or used) Ada is SAAB: https://www.adacore.com/press/saab-signs-corporate-wide-software-license-with-adacore https://www.adacore.com/press/saab-signs-corporate-wide-soft...