AdaCore Joins SOAFEE SIG

For over 30 years, AdaCore has helped people build software that matters. AdaCore provides tools for high-integrity development in Ada, SPARK, C, C++, and Rust.

We build our toolchains to meet the most rigorous standards so you can focus on your code and reach your certification goals. AdaCore supports high-integrity industries by offering compiler-toolchain and analysis-tool qualification, along with certification evidence for compliance with industry standards. 

About AdaCore

As vehicles increasingly become software-defined platforms, the need for robust software foundations is paramount,” said Quentin Ochem, Chief Product Officer of AdaCore. “Joining SOAFEE allows AdaCore to contribute its expertise in high-integrity software and formal verification to a broader ecosystem that is shaping the future of automotive development. We look forward to collaborating with SOAFEE members to help ensure that scalability and openness go hand in hand with safety and assurance.

Learn more at www.adacore.com/