Xavier Rival
IdRefMots clés
FR |
EN
Interprétation abstraite
Informatique
Analyse statique
Logique de séparation
Systèmes embarqués (informatique)
Programmes concurrents
Structures de données
Sécurité
Analyse statique modulaire
Mémoire faiblement cohérente
Cryptographie
Analyse compositionnelle
Propriétés relationnelles
Structures de données dynamiques
Analyse mémoire
Vérification d'OS
Structures de données dynamique
Disjonctions
Systèmes embarqués
Systèmes distribués temps-Réels synchrones