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.
{{block-infos-connection}}
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.
{{block-infos-connection}}
Univ. Bordeaux, LaBRI, CNRS, INP Bordeaux
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.