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

Lifo > Les Actions de Recherche du LIFO > Action de Recherche : ANR CoMeMoV

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



ANR CoMeMoV : Modèles mémoires collaboratifs pour la vérification formelle

Projet ANR-22-CE25-0018

Partenaires :

  • CEA List
  • Université d'Orléans (coordinateur)
  • Thales Research & Technology

Participants

Frédéric LOULERGUE (PI)

Page web de l'action

https://comemov.github.io