AdaCore

Everything we do at 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 defense industries, we build tools and provide services that ease the complex and often difficult process of developing high-integrity software. As the need for truly secure and reliable applications expands into industries such as automotive, medical, energy, and IOT, we’re excited to bring our time-tested technologies, expertise and services to help a whole new generation of developers.