FORWAL - Formalismes et Outils pour la Vérification et la Validation Imprimer
Statiques
Écrit par Olga Kouchnarenko   

Titre du groupe

FORWAL  - Formalismes et Outils pour la Vérification et la Validation 

Responsables

Yohan BOICHUT, LIFO, Université d'Orléans ( Cette adresse email est protégée contre les robots des spammeurs, vous devez activer Javascript pour la voir. )
Pierre-Cyrille Héam, LIFC, Université de Franche-Comté ( Cette adresse email est protégée contre les robots des spammeurs, vous devez activer Javascript pour la voir. )

Thématique scientifique

Notre objectif principal est l'élaboration d'outils et de méthodes pour la vérification de protocoles de sécurité, de services web, de systèmes embarqués et pour l'analyse de documents semi-structurés.

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 concurrence

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.

 

Equipes participantes

PAMDA - Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) - Orléans
VESONTIO - Franche-Comté Electronique Mécanique Thermique et Optique - Sciences et Technologies (FEMTO-ST) - Besançon
CASSIS, PAREO - Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) - Nancy
CELTIQUE, S4 - Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) - Rennes
MoVe - Laboratoire d'Informatique de Paris 6 (LIP6) - Paris
MFMV - Laboratoire Bordelais de Recherche en Informatique (LaBRI) - Bordeaux

 

Participants principaux

Siva Anantharaman (LIFO, Orléans), Yohan Boichut (LIFO, Besançon), Jean-Michel Couvreur (LIFO, Orléans), Thomas Genet (IRISA, Rennes), Alain Giorgetti (FEMTO-ST, Besançon), Pierre-Cyrille Héam (FEMTO-ST, Besançon), Olga Kouchnarenko (FEMTO-ST, Besançon), Axel Legay (IRISA, Rennes), Sébastien Limet (LIFO, Orléans), Pierre-Etienne Moreau (LORIA, Nancy), Sophie Pinchinat (IRISA, Rennes), Denis Poitrenaud (LIP6, Paris), Grégoire Sutre (LaBRI, Bordeaux), Pierre Réty (LIFO, Orléans), Michaël Rusinowitch (LORIA, Nancy), Laurent Vigneron (LORIA, Nancy).

Mode de fonctionnement - Organisation des activités du groupe

Des rencontres de deux (ou une) journée(s), en moyenne une fois par an. Elles se compléteront par des visites ``inter-équipes'' de chercheurs et de thésards, chaque fois que cela semble souhaitable sur le plan scientifique.

Conférences et ateliers associés au groupe

  • Ecole d'été MOdelling and VErifying parallel Processes (MOVEP)

Réunion du 23 Mai 2012 à Paris 6.

Une vingtaine de présent pour cette prémière réunion du nouveau quadriennal, des tous les sites.

Exposés :

  • Vincent Hugot (FEMTO-ST, doctorant)
  • Yohan Boichut (LIFO)
  • Sophie Pinchinat (IRISA)
  • Frédéric Herbreteau (LABRI)
  • Jean-Michel Couvreur (LIFO)
  • Mohamadou Diouf (IRISA, doctorant)
Mise à jour le Mercredi, 04 Juillet 2012 14:18