• Summary
• LIFO Members (Directory)
• Research Teams
• CA
• GAMoC
• LMV
• Pamda
• SDS
• Research Actions
• Doctoral Research
• Seminars and Events
• Seminars (french)
• Events at LIFO
• Events out of LIFO
• Publications and Software
• Publications
• Doctoral and Habil. Theses
• Research Reports
• Software
• Technology transfer

• Contacts/Reaching LIFO
• Who's who at LIFO
• Coming to LIFO
• Teaching
• CS Department
• CS Technical Department
• INSA Centre-Val de Loire

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 : FORWAL WorkTeam : Formalisms and Tools for Verification and Validation

Participating Members

Siva ANANTHARAMAN

Nirina ANDRIANARIVELO

Yohan BOICHUT (co-responsable)

Jean-Michel COUVREUR

Sébastien LIMET

Pierre RETY

Action's Web Page

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