Adacore et l’Inria créent un laboratoire pour démocratiser les méthodes de test formel

« ProofInUse est un nouveau laboratoire créé par Adacore, éditeur de logiciels libres spécialiste du langage Ada, et l’Inria (Institut national de recherche en informatique et automatique). Son objectif : démocratiser les méthodes de test par preuves formelles dans le développement de logiciels critiques (…) »