AdaCore
French tech company | Builders Republic
About
AdaCore develops compilers and static analysis, dynamic analysis and formal-proof tools (GNAT Pro, SPARK Pro, CodeSonar) for the Ada, C/C++ and Rust languages, aimed at safety-critical systems in aerospace, defense, automotive, rail and medical devices.
Key facts
- Status
- Active
- Sectors
- Data & Infrastructure
- Latest stage
- Private Equity Round
- Founded
- 1996
- City
- PARIS
- Region
- IDF
- Tracked rounds
- 1
Operations
- Private Equity Round · 2024
Investors
Notes
Battery Ventures prend la majorité du capital en mars 2024.