Last modified by Julien Signoles on 2024/02/07 13:55
From version 36.1
edited by Julien Signoles
on 2020/07/08 18:46
Change comment: There is no comment for this version
To version 37.1
edited by Julien Signoles
on 2020/07/08 18:47
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -1,4 +1,4 @@
1 -Mots clés : méthodes formelles; spécifications formelles; vérification de programmes; analyses statiques; analyses dynamiques; génération de test; programmation sûre; raffinement; assistants de preuve; preuve automatique; dissémination des méthodes formelles
1 +===== **Mots clés :** méthodes formelles; spécifications formelles; vérification de programmes; analyses statiques; analyses dynamiques; génération de test; programmation sûre; raffinement; assistants de preuve; preuve automatique; dissémination des méthodes formelles =====
2 2  
3 3  = Description =
4 4