Le moteur de recherche
des thèses françaises
Xavier Rival
IdRefMots clés
FR |
EN
Interprétation abstraite
Informatique
Analyse statique
Logique de séparation
Analyse mémoire
Logiciels -- Vérification
Systèmes embarqués (informatique)
Tableaux
Programmes concurrents
Systèmes embarqués
Ordonnanceur
Structures de données
Sécurité
Structures de données dynamique
Disjonctions
Analyse statique modulaire
Mémoire faiblement cohérente
Cryptographie
Analyse compositionnelle
Propriétés relationnelles