Logique Approchée
Michel de Rougemont
Université Paris II
http://www.lri.fr/~mdr
17-19 Mai, Marseille
Lundi 17 Mai:
Les classes probabilistes: IP et PCP
.
Mardi 18 Mai:
Le test de propriétés: l'exemple des mots et des arbres réguliers (.pdf)
Mercredi 19 Mai:
Applications à la vérification
: VERA (Vérification approchée)
Site VERA
et
Correcteur XML
Références:
Probabilistic abstraction for model-checking, LICS 2002
.
Property testing for regular tree languages (ICALP 2004) (.pdf)
Logique et Complexité, Hermès 1995,
329 pages, ISBN 2-86601-496-0
Logic and Complexity, Springer-Verlag 2004,