Über AdaCore
AdaCore develops commercial and open-source toolchains for Ada, SPARK, C, C++ and Rust. Its compilation, formal proof, static analysis, testing and coverage tools are used in sectors including aerospace, defence, rail, automotive, energy and medical technology.
What AdaCore offers
Compilers, formal verification, static and dynamic analysis, testing, coverage, development environments, training and support for high-integrity software.
What sets AdaCore apart
AdaCore focuses on independently verifiable, long-lived software toolchains for regulated and safety-critical systems, backed by more than 30 years of Ada and SPARK expertise.