AdaCore
Société French Tech | Builders Republic
À propos
AdaCore développe des compilateurs et des outils d’analyse statique, d’analyse dynamique et de preuve formelle (GNAT Pro, SPARK Pro, CodeSonar) pour les langages Ada, C/C++ et Rust, destinés aux systèmes critiques de l’aérospatiale, de la défense, de l’automobile, du ferroviaire et du médical.
Informations clés
- Statut
- Active
- Secteurs
- Data & Infrastructure
- Dernier stade
- Private Equity Round
- Création
- 1996
- Ville
- PARIS
- Région
- IDF
- Levées trackées
- 1
Opérations
- Private Equity Round · 2024
Investisseurs
À savoir
Battery Ventures prend la majorité du capital en mars 2024.