Fatiha Zaïdi
IdRefMots clés
FR |
EN
Services Web
Logiciels -- Vérification
Model checking
Programmation parallèle (informatique)
Sécurité
Systèmes informatiques -- Mesures de sûreté
Systèmes paramétrés
Cohérence (informatique)
Vérification de modèles (informatique)
Méthodes formelles (informatique)
Tests fonctionnels (informatique)
STM
Invariants
Certification
Protocole de cohérence de cache
Théorèmes -- Démonstration automatique
Mémoire faible
Vérification
Architecture -- Informatique
Test en-ligne