Le moteur de recherche
des thèses françaises
Nikolaï Kosmatov
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Méthodes formelles
Analyse statique
Slicing
Programmation parallèle (informatique)
FRAMA-C
C (langage de programmation)
Méthodes formelles (informatique)
Test structurel, erreur à l’exécution
Génération de tests guidée par les alarmes
Bogue
Fausse alarme
Analyse dynamique
Preuve
Test
Thèses et écrits académiques
Assistants de preuve
ACSL (langage de programmation)
Génération de tests
Frama-C