Hero Image
avatar

AdaCore

HEADQUARTER

Paris, France

FOUNDED

1994

COMPANY SIZE

51-200

INDUSTRY

Aerospace and Defence, Automotive, High Integrity
https://www.adacore.com/

What we do

AdaCore equips developers to create reliable, safe, and secure software. For over 30 years, we have supported and provided open-source toolchains for Ada/SPARK, C/C++, and Rust to high-integrity industries like aerospace, defense, rail, automotive, energy, telecom, finance, and medical. We build our toolchains to meet the most rigorous standards so you can focus on your code and reach your certification goals.

Our Mission and Values