Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > LMV : Langages, Modèles et Vérification

 English Version



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



LMV : Langages, Modèles et Vérification

Professeur

Maître de Conférences HDR

Maître de Conférences

ATER doctorant

Doctorant

Chercheur - autre statut


L'objectif de l'équipe LMV est de contribuer à l'amélioration de la compréhension des problèmes de sureté des systèmes  informatiques. Des langages de programmation usuels aux systèmes de réécriture, les membres de l'équipes travaillent sur ces questions à différents niveaux d'abstraction et selon différents points de vue tout en cherchant à comprendre les relations fondamentales entre ces différentes approches. L'équipe est structurée autour de deux axes :

  • Le premier axe s'intéresse au développement de techniques liées aussi bien à la vérification de propriétés spécifiques qu'à la satisfaction de propriété fonctionnelle quelconques. Dans les deux cas les propriétés peuvent être assurées par construction ou a posteriori (vérification déductive).
  • Le second axe repose sur l'étude de techniques à base de systèmes de réécriture comme par exemple les problèmes d'accessibilités dans les systèmes de réécriture.

Page web de l'équipe