Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > Les Actions de Recherche du LIFO > Action de Recherche : GDR GPL : Groupe de travail FORWAL

English Version



Contact

LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Email: contact.lifo
Tel: +33 (0)2 38 41 99 29
Fax: +33 (0)2 38 41 71 37



GDR GPL : Groupe de travail FORWAL : Formalismes et Outils pour la Vérification et la Validation

Les principaux thèmes abordés dans le projet FORWAL sont :

  • Formalismes à base d'automates (de mots et d'arbres) et de contraintes pour la vérification de protocoles de sécurité, de services web et de systèmes embarqués
  • Langage d'arbres et de DAG pour l'analyse de documents semi-structurés
  • Calcul symbolique à base d'automates pour la vérification de systèmes à variables hétérogènes
  • Langage (non régulier) d'arbres et vérification de protocoles de sécurité et services web
  • Vérification par des techniques ordre partiel et logique de la concurence
  • Validation de protocoles par l'approche inductive

La participation aux activités du groupe FORWAL est naturellement ouverte à tous les chercheurs dont les domaines de travaux sont proches, quel que soit leur GDR de rattachement (comme ce fut le cas déjà avec SLOVO).

Participants

Siva ANANTHARAMAN

Nirina ANDRIANARIVELO

Yohan BOICHUT (co-responsable)

Jean-Michel COUVREUR

Sébastien LIMET

Pierre RETY

Page web de l'action

http://www-lsr.imag.fr/GPL/GroupesDeTravail/Forwal.html