diff --git a/data/industrial_users/cea.md b/data/industrial_users/cea.md index ae8e480716..112b2060c1 100644 --- a/data/industrial_users/cea.md +++ b/data/industrial_users/cea.md @@ -1,13 +1,25 @@ --- name: CEA description: > - CEA is a French state company, member of the OCaml Consortium. + The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, development and innovation url: "https://cea.fr/" -logo: users/cea.png +logo: users/cea.jpg locations: - France consortium: true featured: true --- -CEA is a French state company, member of the OCaml Consortium. It uses OCaml mainly to develop a platform dedicated to source-code analysis of C software, called [Frama-C](https://frama-c.com). +The CEA is a major research organisation working in the best interests of the French State, its economy and citizens. Thanks to its strong roots in fundamental research, it is able to provide tangible solutions to meet their needs in four key fields: +* Low-carbon energy (nuclear and renewable) +* Digital technology +* Technology for medicine of the future +* Defence and national security + +CEA has developed several software tools using OCaml: + +- [Frama-C](https://www.frama-c.com/) dedicated to analysis of C code, +- [Binsec](https://binsec.github.io/) dedicated to analysis of binary code, +- [Caisar](https://www.caisar-platform.com/) dedicated to the trustworthiness of an AI-based software, +- [Colibri2](https://colibri.frama-c.com/) a constraint solver, +- [Why3find](https://git.frama-c.com/pub/why3find) an equivalent of ocamlfind for Why3 (with many more features related to program proof). diff --git a/data/media/users/cea.jpg b/data/media/users/cea.jpg new file mode 100644 index 0000000000..84c1b5ec80 Binary files /dev/null and b/data/media/users/cea.jpg differ diff --git a/data/media/users/cea.png b/data/media/users/cea.png deleted file mode 100644 index 03415fb01a..0000000000 Binary files a/data/media/users/cea.png and /dev/null differ