LMV is a team of the Laboratoire d’Informatique Fondamentale d’Orléans, Université d’Orléans. 

Since 2015, the overall goal of the LMV team is to advance the reliability and security of software, especially, but not exclusively, reactive programs in the Internet of Things (IoT) ecosystem. Our goal is to ensure that the software involved satisfies critical properties, in particular memory safety, either by construction by taking advantage of the design of programming languages, or by the use of formal methods.
To achieve this, we rely on the skills of the team in two areas:
— semantics of programming languages and deductive program verification,
— rewriting systems and system verification.

To carry out this programme, the LMV team relies on collaborations at the local, regional, national and international levels with universities, public institutions and companies. The team is also strongly involved in training by and for research: many students participate in our work. 

LMV members participate to the following working groups: CLAP,  LVPYODA (GDR-GPL), MFS (GDR-Sécurité) and Scalp (GdR IM).