Company Profile

AdaCore is centered around helping developers build safe, secure and reliable software. With over twenty years of experience working with the most respected companies in the avionics, aerospace and defence industries, we build tools and provide services that ease the complex and often difficult process of developing high-integrity software.