Nikolaï Kosmatov
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Méthodes formelles
Analyse statique
C (langage de programmation)
Méthodes formelles (informatique)
Slicing
Programmation parallèle (informatique)
FRAMA-C
ACSL (langage de programmation)
Génération de tests
Analyse dynamique
Preuve
Test
Assistants de preuve
Frama-C
Test structurel, erreur à l’exécution
Génération de tests guidée par les alarmes
Bogue
Fausse alarme
Propriétés mémoire