L’outil d’analyse statique de code Ada d’Adacore qualifié pour l’avionique et le ferroviaire

CodePeer, l’outil d’analyse de code statique pour le langage Ada édité par la société Adacore, est désormais qualifié comme outil de vérification pour les projets de développement de code critique dans l’avionique,...

La lecture de cet article est réservé aux abonnés payants du site.
Pour plus de souplesse, nous vous proposons plusieurs formules d'abonnement sans aucune obligation de renouvellement :
Durée Type Prix
1 mois Découverte 25 euros HT
6 mois Comfort 120 euros HT
1 an Complet 200 euros HT