Après plusieurs années de collaboration, l'éditeur de logiciels et l'institut de recherche ont franchi une nouvelle étape avec la création de ProofInUse. Ses activités s'articuleront autour du développement d'outils de preuves formelles et de leur déploiement auprès des industriels.