AdaCore
1 known investors
AdaCore develops tools for high-integrity software development in Ada/SPARK, C/C++, and Rust, including compilers, IDEs, static and dynamic analysis suites, and formal verification tools. It serves teams in safety- and security-critical industries such as aerospace, automotive, and rail, with products certified against standards like DO-178, ISO 26262, and EN 50128.
CybersecurityDeep TechDeveloper Tools
Investors · 1
In the news
Frequently asked questions
- What does AdaCore do?
- AdaCore develops tools for high-integrity software development in Ada/SPARK, C/C++, and Rust, including compilers, IDEs, static and dynamic analysis suites, and formal verification tools. It serves teams in safety- and security-critical industries such as aerospace, automotive, and rail, with products certified against standards like DO-178, ISO 26262, and EN 50128.
- Who are AdaCore's investors?
- AdaCore's investors include Battery Ventures.