Skip to Content
Last modified by Julien Signoles on 2024/02/07 13:55
From version 1.4
edited by Alain Giorgetti
on 2020/06/02 17:49
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
Title
... ... @@ -1,1 +1,1 @@
1 -GT Langages et vérification de programmes (LVTP)
1 +GT Langages et vérification de théorèmes et de programmes (LVTP)
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 =