|
Evènement pour le groupe Modélisation et Verification
Date | 2009-01-08 11:00-12:15 |
Titre | Gé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.
|
Lieu | Salle 076, LaBRI, Rez-de-chaussée |
Orateur | Pierre Cyril Heam |
Email | pcheam@lifc.univ-fcomte.fr |
Url | LIFC, Université de Franche0Compté |
Aucun document lié à cet événement. RetourRetour à l'index
| |