AdaCore

AdaCore est le principal éditeur de solutions de développement pour Ada 83, Ada 95, et Ada 2005 le 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, divers librairies, outils de vérification de mémoire, de couverture, de test, kit de certification DO-178B, …) et un support technique de très haut niveau, ce qui garantit des réponses rapides et adaptées aux besoins de ses clients.