Beaux Pré-Ordres en Vérification

par Simon Halfon

Projet de thèse en Informatique

Sous la direction de Philippe Schnoebelen et de Sylvain Schmitz.

Thèses en préparation à Paris Saclay , dans le cadre de Sciences et Technologies de l'Information et de la Communication , en partenariat avec Laboratoire Spécification et Vérification (laboratoire) , INFINI : vérification symbolique (equipe de recherche) et de École normale supérieure Paris-Saclay (Cachan, Val-de-Marne) (établissement de préparation de la thèse) depuis le 01-09-2015 .


  • Résumé

    Etudier la calculabilité et l'algorithmique des sous-ensembles clos des beaux-ordres usuels.

  • Titre traduit

    Well Quasi-Orderings in Verification


  • Résumé

    On the computability and algorithmics of closed-subsets in usual well-quasi-orderings.