Le moteur de recherche
des thèses françaises
Alain Giorgetti
IdRefMots clés
FR |
EN
Frama-C
C (langage de programmation)
Méthodes formelles
Analyse statique
Logiciels -- Vérification
Vérification déductive
Preuve de programmes
Méthodes formelles (informatique)
Optimisation
Intrication quantique
Informatique quantique
Slicing
Test structurel, erreur à l’exécution
Génération de tests guidée par les alarmes
Bogue
Fausse alarme
Programmation parallèle (informatique)
Analyse dynamique
Preuve
Test