EN
FR
Section:
Partnerships and Cooperations
International Initiatives
Informal International Partners
-
Princeton University: interactions between
the CompCert verified C compiler and the Verified Software Toolchain
developed at Princeton.
-
The University of Cambridge and ARM Ltd, Cambridge and Imperial College London:
formal modeling and testing of weak memory models.