Skip to Content
Last modified by Julien Signoles on 2024/02/07 13:55
From version 1.1
edited by Alain Giorgetti
on 2020/06/02 15:34
Change comment: There is no comment for this version
To version 1.5
edited by Alain Giorgetti
on 2020/06/02 17:50
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 théorèmes et de programmes (LVTP)
1 +GT Langages et vérification de programmes (LVP)
Content
... ... @@ -1,8 +1,34 @@
1 += Objectifs =
2 +
1 1  Les thèmes du groupe de travail sont :
2 2  
3 3  * La conception de langages plus sûrs et plus expressifs;
4 4  * 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;
5 5  * La vérification des outils de développement : interpréteurs, compilateurs, analyseurs statiques, générateurs de code, etc;
6 -* La vérification de théorèmes, d'algorithmes et de programmes.
8 +* La vérification de conjectures, d'algorithmes et de programmes.
7 7  
8 -
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.