- Renseignements pratiques
- Enseignement
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
Yohan BOICHUT (co-responsable)
Page web de l'action
Université d'Orléans | INSA Centre Val de Loire
LIFO - Laboratoire d'Informatique Fondamentale d'Orléans 