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
PlusL’inscription à UP’ est totalement gratuite
- Elle vous permet d’entrer dans le cercle des lecteurs de UP’
- De lire trois articles gratuitement pour découvrir UP'
- De recevoir nos newsletters
L’inscription est sans aucun engagement de votre part11
L’inscription à UP’ est totalement gratuite
- Elle vous permet d’entrer dans le cercle des lecteurs de UP’
- De lire trois articles gratuitement pour découvrir UP'
- De recevoir nos newsletters
L’inscription est sans aucun engagement de votre part11
L’inscription à UP’ est totalement gratuite
- Elle vous permet d’entrer dans le cercle des lecteurs de UP’
- De lire trois articles gratuitement pour découvrir UP'
- De recevoir nos newsletters
L’inscription est sans aucun engagement de votre part11
UP', média libre
grâce à ses lecteurs
Je rejoins
Je rejoins
rejoignez gratuitement le cercle des lecteurs de UP’