|
|
 |
|
Jeudi 24 Novembre
| Heure: |
10:00 - 11:00 |
| Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
| Résumé: |
Vers une théorie de la réécriture probabiliste |
| Description: |
Flavien Breuvart Après une récapitulation des définitions fondamentales et enjeux
de la théorie de la réduction de termes (TRS et HORS), nous allons
nous poser la question de l'ajout de composantes probabilistes.
Nous verrons que des problématiques importantes apparaissent à un
niveau très élémentaire. En fait, elles apparaissent déjà au
niveau des ARS (graphe orientés infinis décrivant une dynamique)
qui sont extrêmement généraux et contiennent les automates dont
la généralisation probabiliste a été abondamment étudiée. En
utilisant ces travaux sur les automates, et plus généralement sur
les co-algèbres, nous avons décrit un formalisme pouvant, nous
l'espérons, traiter élégamment des problèmes de réécritures
probabilistes. |
| Heure: |
11:00 - 12:00 |
| Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
| Résumé: |
Regular Model Checking: Vérification et systèmes de réécriture |
| Description: |
Tayssir Touili Nous nous intéressons dans cet exposé au model-checking des systèmes infinis, notamment les systèmes paramétrés et les programmes récursifs parallèles.
Nous présentons un cadre uniforme pour la vérification algorithmique de ces systèmes. Ce cadre est basé sur la représentation des ensembles de configurations par des automates de mots ou d'arbres, et la représentation des relations de transition des systèmes par des règles de réécritures de mots ou de termes. Le problème de la vérification est ensuite réduit au calcul des ensembles des accessibles dans ce cadre. |
|
|
