Tayssir Touili
IdRefMots clés
FR |
EN
Vérification de modèles (informatique)
Virus informatiques
Systèmes informatiques -- Mesures de sûreté
Automates
Vérification
Automates à pile
LTL (Logique Temporelle Linéaire)
Méthodes formelles (informatique)
Protection de l'information (informatique)
Détection de malware
Apprentissage automatique
Traitement réparti
Systèmes paramétrés
Systèmes à pile
Hyper-propriétés
Automate à surpile
Pointeur de pile
Réseaux d'automates à pile synchronisés
Abstraction de Kleene
Algorithmes d'approximation