Skip to Content
Last modified by Julien Signoles on 2024/02/07 13:55
From version 2.1
edited by Alain Giorgetti
on 2020/06/02 17:50
Change comment: There is no comment for this version
To version 1.3
edited by Alain Giorgetti
on 2020/06/02 17:14
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
... ... @@ -5,7 +5,7 @@
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