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

Lifo > Research Actions at LIFO > Research Action : ANR CoMeMoV

Site en Français



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 : Collaborative Memory Models for formal Verification

Projet ANR-22-CE25-0018

Partners:

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

Participating Members

Frédéric LOULERGUE (PI)

Action's Web Page

https://comemov.github.io