Sites Inria

Il y a 1 Résultats avec le mot clé : "Mate Soos"

Illustration Codage

Prix scientifique

Vérification systèmes complexes

Marie Collin (*) - 28/09/2010

CryptoMiniSat , logiciel de vérification de logiciels ou d'architectures matérielles complexes, remporte le premier prix de la compétition internationale SAT Race 2010 .

Mots-clés :

Accueil > Centre > Grenoble > Actualités > Vérification systèmes complexes

Lire la suite

Haut de page

Suivez Inria