
ProofInUse est un nouveau laboratoire public-privé, cogéré par l’Inria et AdaCore. Il s’agit là d’un nouveau partenariat majeur dans le but d’augmenter l‘utilisation des outils de vérification basés sur les preuves mathématiques au sein de l’industrie du logiciel : son objectif est de fournir des outils de vérification de logiciels basés sur la
Plus

















