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
The goals of this project is to produce a programming environment in which certified parallel programs can be written, proved and safely executed.
More technically, several subgoals will be studied to achieve the overall goal of the project:
French Ministry of Research, Young Researchers Program
Radia BENHEDDI
University of Orléans | INSA Centre Val de Loire