Tomáš Vojnar
IdRefMots clés
FR |
EN
Vérification de modèles (informatique)
Automates à pile
Structures de données (informatique)
Détection de logiciel malveillant
Automates
Virus informatiques
Vérification
Systèmes à pile
LTL (Logique Temporelle Linéaire)
Hyper-propriétés
Automate à surpile
Pointeur de pile
Réseaux d'automates à pile synchronisés
Abstraction de Kleene
Algorithmes d'approximation
Pointeurs
Tas
Automates d'arbre
Model checking régulier
Saisie des données (informatique) -- Organisation