- Solutions de développement et de vérification de logiciels écrits en Ada

- Solutions de développement et de vérification de logiciels écrits en Ada

La version 18.1 des produits GNAT Pro, CodePeer, Spark Pro et QGen d’AdaCore renforce cette suite logicielle robuste pour aider les développeurs à construire des logiciels sûrs, sécurisés, fiables et de haute intégrité....

- GNAT Pro inclut la technologie de vérification Spark Discovery

- GNAT Pro Enterprise inclut GNATstack, outil d’analyse de piles logicielles

- Nouvelles règles dans le vérificateur de normes de codage GNATcheck

- Prise en charge de GNATcoverage pour les sondes Lauterbach

- Kit de qualification DO-178C pour CodePeer 18.1, outil d’analyse statique