Home > Topics > Formal Proofs

Partners

Current Collaborations

Academic partners

Industrial partners

Past Collaborations (<8 years)

Past Academic partners
- INRIA/Gallium: VOCaL (The Verified OCaml Library)
- LaBRI: ESTATE
- LIP6: ESTATE
- LRI Orsay / INRIA: VOCaL (The Verified OCaml Library)

Past Industrial Partners
- Kalray, Grenoble, France: KALRAY-CompCert , the Chamois CompCert Compiler
- MathWorks: [master or PhD] Convex polyhedra in floating point
- OCamlPro: VOCaL (The Verified OCaml Library)
- STMicroelectronics/Grenoble: Certified compilation for security
- TrustInSoft: VOCaL (The Verified OCaml Library)

Contact | Site Map | Site powered by SPIP 4.4.2 + AHUNTSIC [CC License]

info visites 4631821

UGA

CNRS

INP Grenoble