Accueil > Axes > Formal Proofs

Partenaires

Collaborations actuelles

Partenaires academiques

Partenaires industriels

Collaborations Anciennes (<8 ans)

Anciens partenaires académiques
- INRIA/Gallium: VOCaL (The Verified OCaml Library)
- LaBRI: ESTATE
- LIP6: ESTATE
- LRI Orsay / INRIA: VOCaL (The Verified OCaml Library)

Anciens partenaires industriels
- 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 | Plan du site | Site réalisé avec SPIP 4.4.2 + AHUNTSIC [CC License]

info visites 4539169

UGA

CNRS

INP Grenoble