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

Lifo > LMV : Logic, Modelling 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 70 11
Fax: +33 (0)2 38 41 71 37

LMV : Logic, Modelling and Verification

Full Professor

Assistant Professor (with accreditation to supervise research)

Assistant Professor

ATER (Temporary Assistant Professor)

Doctoral Student

Emeritus Professor

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. System verification Theory, algorithms and tools for the automatic verification of systems:
    • verification of infinite systems by over-approximation of tree automata,
    • semantics of parallelism, partial order techniques,
    • first order logic,
    • decidability of unification modulo a theory.
  3. Cross-cutting issues:
    • verification of verification tools and validators,
    • comparison, interaction and combination of verification techniques.

Web page

Ongoing Research Actions