AdaCore
AdaCore provides tools for high-integrity development in Ada/SPARK, C/C++, and Rust. We equip developers to build reliable, safe, and secure software. With over 30 years of experience, we provide open-source toolchains for Ada/SPARK, C/C++, and Rust, designed specifically for safety-critical and mission-critical systems.
Our technology supports the world’s most demanding industries, including aerospace, defense, rail, automotive, energy, telecoms, finance, and medical. Built to meet rigorous certification standards, our tools let you focus on your code - with confidence.
Sessions at EOC
2026
Three Paths To Memory Safety for Embedded
Memory problems are a constant worry for teams developing software for embedded systems. Whether you are building a doorbell, a self-driving car, a printer or an airplane. As much as 70% of securi...
Coming May 2026
Reduce Cost While Improving Safety and Security with Formal Methods Through Ada SPARK
There are three conflicting needs for teams that are building software systems that have to adhere to functional safety and security standards such as ISO 26262, IEC 61508, ISO 62443, R155 and others....
Coming May 2026