Ahmed Bouajjani
IdRefMots clés
FR |
EN
Vérification de modèles (informatique)
Vérification
Logiciels -- Vérification
Automates
Méthodes formelles (informatique)
Vérification formelle
Model checking
Traitement réparti
Interprétation abstraite
Systèmes distribués
Audit informatique
Systèmes concurrents
Concurrence
Systèmes paramétrés
Architecture -- Informatique
Automates à pile
Logique
Logique informatique
Technique d'abstraction
Logiques multi-valuées