Récemment, les résultats du projet Hi-Lite associant AdaCore (développement d'applications critiques) et un bouquet de partenaires (Altran, INRIA, EADS-Astrium, CEA…
Le prix "Microsoft Research Verified Software Milestone Award" vient couronner les deux années de développement de Tokeneer par les équipes…