Cezara Drăgoi
IdRefMots clés
FR |
EN
Systèmes distribués
Logiciels -- Vérification
Analyse statique
Logique de séparation
Informatique
Vérification
Vérification de modèles (informatique)
Traitement réparti
Audit informatique
Logique informatique
Automates
Structures de données dynamique
Disjonctions
Analyse compositionnelle
Propriétés relationnelles
Structures de données dynamiques
Interprétation abstraite
Langage de programmation
Composition
Optimisation