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