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