Le moteur de recherche
des thèses françaises
Claude Marché
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Méthodes formelles (informatique)
Vérification déductive
Méthodes formelles
Logique
UML (informatique)
Preuve de programme
Preuve formelle
C (langage de programmation)
Langage de programmation
Théorie des types
Certification
Ingénierie dirigée par les modèles
Preuve de programmes
Raffinement
Systèmes de réécriture (informatique)
Vérification dynamique
ACSL (langage de programmation)
Typage
Alias de pointeurs