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.