Objectifs

Les thèmes du groupe de travail sont :

• La conception de langages plus sûrs et plus expressifs;
• 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;
• La vérification des outils de développement : interpréteurs, compilateurs, analyseurs statiques, générateurs de code, etc;
• La vérification de conjectures, d'algorithmes et de programmes.

Porteurs du GT

• Alain Giorgetti, institut FEMTO-ST (UMR CNRS 6174), université de Franche-Comté
• Julien Signoles, CEA List

Animations

Les actions d'animations envisagées

Equipes

 Les équipes impliquées, dont :

• Equipe AA, Laboratoire, Lieu
  • le nombre de permanents impliqués dans le GT et
  • le nom d'un représentant dans l’équipe

(A faire ; sur la page (https://gdrgpl.myxwiki.org/xwiki/bin/view/Maps/)  : un positionnement de l’équipe sur la carte en
faisant référence à ce  GT dans la description de l’équipe)

Interactions

Avec d'autres GTs, GDR, ...
Si des GT identifient dès à présent des interactions avec d’autres GTs en cours de construction ou reconstruction ils le
précisent.