Radu Iosif
IdRefMots clés
FR |
CS |
EN
Vérification formelle
Logique de séparation
Vérification de modèles (informatique)
Vérification
Logiciels -- Vérification
Procédure de décision
Solveur
Décidabilité
Complexité
Logique informatique
Séparation (informatique)
Complexité de calcul (informatique)
Programmes entiers
Automates a compteurs
Analyse d’atteignabilite
Analyse de terminaison
Acélération
Clôture transitive
Pointeurs
Tas