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.