Adacore
Paris 75009 · ✓ active · 🌐 ada•••.com
Identité officielle
- SIRET
- 40332565700043
- SIREN
- 403325657
- APE
- 58.29B Édition de logiciels outils de développement et de langages
- Forme
- 5710
- Effectif
- 50 à 99 salariés
- Catégorie
- PME
- Dirigeants
- 3
- Adresse
- 46 Rue D'Amsterdam, Paris
Activité réelle
AdaCore, avec plus de vingt ans d'expérience, développe des solutions logicielles pour les secteurs critiques tels que l'aérospatial, la défense et les chemins de fer. L'entreprise propose des outils et des services pour aider les développeurs à créer des logiciels sûrs et fiables, notamment à travers sa suite GNAT Pro pour Ada, C et C++.
Les produits d'AdaCore incluent des outils de développement, d'analyse statique et de vérification formelle, adaptés aux normes de certification comme DO-178B/C. AdaCore offre également des services de formation et de conseil pour faciliter l'adoption de la langue Ada, reconnue pour sa capacité à réduire les défauts dans les applications critiques. L'entreprise est présente à l'international avec des bureaux à New York et Paris.
Présence web
23 pages