ADACORE

GNAT Pro
La gamme de produits GNAT Pro offre un ensemble d'outils complet pour Ada, C et C++. Différentes versions du produit — GNAT Pro Assurance et Enterprise — prennent en charge un large éventail de tailles et de besoins de projets.
Il comprend une chaîne d'outils basée sur la technologie GNU GCC, un environnement de développement intégré (GNAT Studio), une suite d'outils complète comprenant un débogueur visuel et un ensemble de bibliothèques, de liaisons et d'outils.

Suite d'analyse statique
Comprend CodePeer, GNATcheck et GNATmetric
Grâce à des processus automatisés, la suite d'analyse statique GNAT aide les développeurs à obtenir un code Ada propre, sécurisé et de haute qualité. Ses outils ont été conçus spécifiquement pour Ada et ont été affinés grâce à des décennies d'expérience. La suite d'analyse statique GNAT vous permet de rechercher automatiquement un certain nombre de vulnérabilités de sécurité connues, vous permettant ainsi de concentrer la révision manuelle du code sur les problèmes les plus complexes.

Suite d'analyse dynamique
Comprend GNATcoverage, GNATtest et GNATfuzz
Un ensemble d'outils puissants d'analyse dynamique et de couverture pour Ada, ainsi que le sous-ensemble SPARK Ada formellement analysable. Certaines de ses fonctionnalités, telles que la couverture du code structurel, prennent également en charge C.

Vérification formelle
SPARK Pro est une puissante combinaison de langage et d'outils qui apporte une confiance basée sur les mathématiques à la vérification des logiciels.

Avec des sièges sociaux à New York et Paris et des représentants dans les pays du monde entier, l'équipe est composée de personnes représentant plus de 15 nationalités différentes et un large éventail d'horizons. 
Cette diversité et cette portée permettent de servir une liste toujours croissante de clients internationaux. 
L'équipe de direction comprend certaines des plus grandes autorités en matière d'Ada et de développement de logiciels de haute intégrité, mettant littéralement des centaines d'années d'expérience combinée en programmation à la portée de nos clients.

RCS (registre du commerce) Paris B 403 325 657
Capital social (actions ordinaires) 397 526,00€

AdaCore est une entreprise française spécialisée dans le développement de logiciels sûrs, sécurisés et fiables. Elle propose une gamme de produits et services qui aident les développeurs à créer des applications critiques pour des secteurs tels que l'aérospatiale, la défense, le ferroviaire, l'automobile, le médical, l'énergie et l'IoT.

L'entreprise est ravie d'apporter son expertise et ses services à une nouvelle génération de développeurs, alors que le besoin de logiciels sûrs et fiables s'étend à de nouveaux secteurs tels que l'automobile, le médical, l'énergie et l'IoT.

AdaCore est également un acteur important du langage de programmation Ada et du mouvement des logiciels Open Source.

L'entreprise est fière de son association avec Ada depuis le début, et plusieurs membres de son équipe ont travaillé sur le développement initial du langage. Ada, avec sa méthodologie "penser d'abord, coder plus tard", reste au cœur de la philosophie et de l'approche d'AdaCore.

AdaCore a également été l'un des pionniers du mouvement Open Source, à une époque où les principaux avantages des logiciels Open Source n'étaient pas aussi bien compris ou acceptés qu'ils le sont aujourd'hui. L'entreprise continue de soutenir cette interaction collaborative grâce à ses contributions à des plateformes telles que GitHub.