AdaCore est éditeur de l’environnement de développement GNAT Pro, utilisé notamment pour les applications critiques et certifiées, dans des domaines tels que l’avionique, les systèmes militaires, la gestion du trafic aérien, le transport ferroviaire ou encore les équipements médicaux, ainsi que les services financiers, domaines où la robustesse logicielle est déterminante.

Fondée en 1994, AdaCore est le principal fournisseur de solutions pour le langage Ada, un langage de programmation moderne conçu pour répondre aux besoins d’applications industrielles pour lesquelles la sûreté, la sécurité et la fiabilité sont essentielles.