AdaCore remanie sa ligne de produits GNAT Pro afin de proposer des solutions de développement Ada prenant en compte l’évolution des applications embarquées dans de multiples domaines....

- GNAT Pro Enterprise combine et remplace les produits existants

- GNAT Pro natifs/croisés et GNAT Pro Ada Safety-Critical Environnement faits pour le développement industriel de logiciels critiques

- GNAT Pro Assurance permet de gérer tous les aspects liés aux certifications logicielles

- GNAT Pro Developer est destiné aux nouveaux utilisateurs du langage Ada

- Tous les produits GNAT Pro incluent la suite d’outils SPARK Discovery s’appuyant sur des méthodes de preuve formelle