Le moteur de recherche
des thèses françaises
Alain Giorgetti
IdRefMots clés
FR |
EN
Frama-C
C (langage de programmation)
Logiciels -- Vérification
Méthodes formelles
Informatique quantique
Analyse statique
Vérification déductive
Méthodes formelles (informatique)
Intrication quantique
Vérification de modèles (informatique)
Preuve de programmes
Optimisation
Logiciels -- Validation
ACSL (langage de programmation)
Systèmes informatiques -- Mesures de sûreté
Intrication
Contextualité
Vérification
Slicing
Test structurel, erreur à l’exécution