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.