Skip to Content
Last modified by Julien Signoles on 2024/02/07 13:55
From version 2.3
edited by Alain Giorgetti
on 2020/06/02 17:58
Change comment: There is no comment for this version
To version 1.2
edited by Alain Giorgetti
on 2020/06/02 17:10
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -5,11 +5,11 @@
5 5  * La conception de langages plus sûrs et plus expressifs;
6 6  * Le développement des techniques de vérification et de validation à partir de spécifications ou de code : preuve de correction, analyse statique, génération de tests et raffinements prouvés;
7 7  * La vérification des outils de développement : interpréteurs, compilateurs, analyseurs statiques, générateurs de code, etc;
8 -* La vérification de conjectures, d'algorithmes et de programmes.
8 +* La vérification de théorèmes, d'algorithmes et de programmes.
9 9  
10 10  = Porteurs du GT =
11 11  
12 -* Alain Giorgetti, institut FEMTO-ST (UMR CNRS 6174), université de Franche-Comté
12 +* Alain Giorgetti, institut FEMTO-ST, université de Franche-Comté
13 13  * Julien Signoles, CEA List
14 14  
15 15  = Animations =