EN FR
EN FR


Section: Partnerships and Cooperations

International Initiatives

Inria International Partners

Informal International Partners
  • Princeton University: interactions between the CompCert verified C compiler and the Verified Software Toolchain developed at Princeton.

  • Cambridge University and Microsoft Research Cambridge: formal modeling and testing of weak memory models.