Related Articles

Articles tagged by Software Heritage

Home

Categories

OCamlPro at the JFLA2022 Conference

Authors: OCamlPro, Dario Pinto
Date: 2022-07-12
Category: OCamlPro
Tags: jfla, Software Heritage, swh, ocaml, Alt-Ergo, fuzzing, mikino, rust, formal verification

In today's article, we share our contributions to the 2022 JFLAs, the French-Speaking annual gathering on Application Programming Languages, mainly Functional Languages such as OCaml (Journées Francophones des Langages Applicatifs). This much awaited event is organised by Inria, the French National... (Read more)