Latitude Adopts Ada and SPARK for Light Launcher Software in New Space IndustryRead the case study »
Helping People Build Software that Matters
At AdaCore our mission is to provide the best tools, services and expertise to developers who want to build safe and reliable software. Learn more about AdaCore »
Our qualifiable tools and high-integrity run-time libraries support software standards such as DO-178B/C, EN 50128 and ECSS-E-ST-40C / ECSS-Q-ST-80C.
We provide tools and support for the primary languages used in high-integrity development.