Formalismes et Outils

pour la Vérification et la Validation

GDR-GPL FORWAL

Responsables

Jean-Michel COUVREUR, LIFO, Université d'Orléans (couvreur@univ-orleans.fr)
Olga KOUCHNARENKO, LIFC, Université de Franche-Comté (kouchna@lifc.univ-fcomte.fr)

Thématique scientifique

L'action proposée ici est la mise à jour de l'action SLOVO (Sémantiques Logique et Opérationnelles, Vérification et Optimisation) engagée lors de la précédente campagne. Rappelons que SLOVO fut un groupe de travail visant des applications dans les domaines de ``spécification-test-preuve'' du GDR-ALP, et d'``algorithmique'' du GDR-ARP pour l'optimisation par la parallélisation, et centré sur des travaux dans les domaines de la démonstration automatique et de la programmation logique.

La mise à jour de l'action SLOVO - avec un nouveau sigle - répond à un souci de mieux refléter l'évolution de nos directions de recherche actuelles dans les domaines de la spécification et de la vérification de systèmes. 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 :

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).

Equipes participantes

PRV - Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) - Orléans
TFC - Laboratoire d'Informatique de l'Université de Franche-Comté (LIFC) - Besançon
CASSIS, PROTHEO - Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) - Nancy
LANDE, S4 - Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) - Rennes
SRC - Laboratoire d'Informatique de Paris 6 (LIP6) - Paris
MVTsi - Laboratoire Bordelais de Recherche en Informatique (LaBRI) - Bordeaux

Participants principaux

Siva Anantharaman (LIFO, Orléans), Fabrice Bouquet (LIFC, Besançon), Gérard Cécé (LIFC, Besançon), Jean-Michel Couvreur (LIFO, Orléans), Thomas Genet (IRISA, Rennes), Alain Giorgetti (LIFC, Besançon), Pierre-Cyrille Héam (LIFC, Besançon), Olga Kouchnarenko (LIFC, Besançon), Jérome Leroux (LaBRI, Bordeaux), 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

Equipes étrangères associées au groupe

Page Web

http://www.univ-orleans.fr/SCIENCES/LIFO/Projets/GDR/Forwal