L’éditeur de logiciels de développement et de vérification de logiciels pour les systèmes de mission critiques, de sûreté et de sécurité lance une nouvelle suite d'analyse, de test, de vérification et de couverture de code pour les développeurs Ada.