Magazine d'Actualité
Découvrez gratuitement toute l'actualité, la veille technologique, les études de cas et les événements de chaque secteur de l'industrie.
À la une
Université de Rennes 1, IRiSA, CNRS
Comment assurer qu'un logiciel peut s'exécuter sans erreur dans les conditions d'application prévues ? Seule une partie des tests peut être automatisée ; pour le reste, un assistant de preuve comme Coq permet de vérifier la complétude et la logique des preuves construites dans le logiciel.
Poser une question directement
Soumettre ma demandeÊtre appelé.e par un conseiller*
Par téléphone**Rappel téléphonique réservé aux pays suivants : France métropolitaine, Belgique, Luxembourg, Monaco, Suisse.
