Home > Topics > Formal Proofs

Partners

Current Collaborations

Academic partners

Industrial partners

Past Collaborations

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 KVX 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 3.2.16 + AHUNTSIC [CC License]

info visites 1897303

UGA

CNRS

INP Grenoble