Société: ADACORE

Description

AdaCore est un éditeur français indépendant de logiciel libre. AdaCore est le principal éditeur de solutions de développement pour les différentes versions du langage Ada, un langage de programmation spécifiquement conçu pour les projets logiciels de grande dimension et de longue durée dans lesquels la fiabilité, l’efficacité et la sécurité sont critiques. GNAT Pro, le produit phare d’AdaCore, comprend un ensemble complet d’outils de développement (compilateur, debugger, IDE, diverses bibliothèques, outils de vérification de mémoire, de couverture, de test, kit de certification DO-178B, …). AdaCore propose également des outils de preuve formelle (SPARK, en partenariat avec Altran), d’analyse statique (CodePeer) et de génération de code depuis Simulink/Stateflow (QGen). Une des caractéristiques d'AdaCore est son support technique de très haut niveau, inclus dans toutes les souscriptions, ce qui garantit des réponses rapides et adaptées aux besoins de ses clients. AdaCore sert une clientèle qui inclut la plupart des grands noms de l’industrie aéronautique, spatiale, de la défense, du contrôle aérien, du transport ferroviaire.

Infos clefs

Site web
http://www.adacore.com/
Effectifs
50 à 99 salariés
Numéro SIREN
403325657
Code NAF
58.29B - Edition de logiciels outils de développement et de langages
Date de création
1996-02-01
Tag line
AdaCore est un éditeur français indépendant de logiciel libre.
Cluster(s) d'appartenance
HOS

Solutions et technologies

Etablissements