Indeed, that company is Ada Core, and their pricing page tells you everything you need to know about why you're not using Ada: """ All of our products are avai

Indeed, that company is Ada Core, and their pricing page tells you everything you need to know about why you're not using Ada: """ All of our products are available as annual subscriptions... For general inquiries regarding our products and solutions or to learn how you can apply for an evaluation, please contact sales@adacore.com. Use the following form to receive a price quote. Please fill it out as completely as possible so we can provide you with the most accurate pricing information. """ -- http://www.adacore.com/gnatpro/pricing http://www.adacore.com/gnatpro/pricing In other words, standard Enterprise Pricing: "if you have to ask, you can't afford it."