Benedikt Bollig
IdRefMots clés
FR |
EN
Traitement réparti
Vérification formelle
Logiciels -- Vérification
Méthodes formelles (informatique)
Vérification
Systèmes distribués
Vérification de modèles (informatique)
Automates
Spécification quantitative
Automates à poids
Systèmes concurrents
Contrôleurs distribués
Calculabilité
Automates a pile
Complexité
Fonctions calculables -- Informatique
Langages formels
Complexité de calcul (informatique)
Model checking
Vérification paramétrée