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

Lifo > LMV : Languages, Models and Verification

 Site en Français


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 : Languages, Models and Verification

Full Professor

Associate Professor (with accreditation to supervise research)

Assistant Professor

ATER Doctoral Student

Doctoral Student

Researcher - other status

The LMV research group works on the following research topics :

  1. Program correctness Logic, tools and applications for interactive verification:
    • Logic's and frameworks for static analysis and proof of programs (taking into account parallelism),
    • systematic development (i.e. correctness by construction) of correct parallel programs,
    • compiler verification (to increase the trust in the previous results)
  2. Rewriting systems
    • reachability

Web page