Skip to Content
Last modified by Julien Signoles on 2024/02/07 13:55
From version 1.5
edited by Alain Giorgetti
on 2020/06/02 17:50
Change comment: There is no comment for this version
To version 1.1
edited by Alain Giorgetti
on 2020/06/02 15:34
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 (LVP)
1 +GT Langages et vérification de théorèmes et de programmes (LVTP)
Content
... ... @@ -1,34 +3,8 @@
1 -= Objectifs =
2 -
3 3  Les thèmes du groupe de travail sont :
4 4  
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.
6 +* La vérification de théorèmes, d'algorithmes et de programmes.
9 9  
10 -= Porteurs du GT =
11 -
12 -* Alain Giorgetti, institut FEMTO-ST (UMR CNRS 6174), université de Franche-Comté
13 -* Julien Signoles, CEA List
14 -
15 -= Animations =
16 -
17 -Les actions d'animations envisagées
18 -
19 -= Equipes =
20 -
21 - Les équipes impliquées, dont :
22 -
23 -* Equipe AA, Laboratoire, Lieu
24 -** le nombre de permanents impliqués dans le GT et
25 -** le nom d'un représentant dans l’équipe
26 -
27 -(A faire ; sur la page (https:~/~/gdrgpl.myxwiki.org/xwiki/bin/view/Maps/)  : un positionnement de l’équipe sur la carte en
28 -faisant référence à ce  GT dans la description de l’équipe)
29 -
30 -= Interactions =
31 -
32 -Avec d'autres GTs, GDR, ...
33 -Si des GT identifient dès à présent des interactions avec d’autres GTs en cours de construction ou reconstruction ils le
34 -précisent.
8 +