Evènement pour le groupe Modélisation et Verification


Date 2009-01-08  11:00-12:15
TitreGénération Automatique d'Approximations Régulières 
RésuméEtant donnés deux langages réguliers d'arbres I et B, et un système de réécriture R, on ne peut pas décider si R*(I) et B ont une intersection vide, même pour des systèmes de réécritures simples. Une approche pour résoudre ce problème consiste alors à utiliser des approximations de R*(I). Nous montrerons dans cet exposé comment une technique manuelle d'approximations introduite par Th. Genet en 98 peut être automatisée, notamment pour la vérification de protocoles cryptographiques.  
LieuSalle 076, LaBRI, Rez-de-chaussée 
OrateurPierre Cyril Heam 
Emailpcheam@lifc.univ-fcomte.fr 
UrlLIFC, Université de Franche0Compté 



Aucun document lié à cet événement.

Retour
Retour à l'index