3 search results for "author:"Loïc Correnson""

Showing 1 - 3
  1. farith
    Documentation
    Floating point numbers library extracted from the Flocq Coq Library
    François Bobot Loïc Correnson Arthur Correnson
    0.1
    LGPL-2.1
    Used by 2 other packages
    30 May 2022
  2. frama-c
    Documentation
    Platform dedicated to the analysis of source code written in C
    deductive verification program verification formal specification automated theorem prover interactive theorem prover C plugins abstract interpretation slicing weakest precondition ACSL dataflow analysis runtime verification
    Michele Alberti Thibaud Antignac Gergö Barany Patrick Baudin Nicolas Bellec et al.
    30.0
    LGPL-2.1-only
    Used by 3 other packages
    16 Dec 2024
  3. why3find
    Documentation
    A Why3 Package Manager
    why3
    Loïc Correnson <loic.correnson@cea.fr> Benjamin Jorge <benjamin.jorge@cea.fr>
    1.1.1
    LGPL-2.1-only
    Used by 0 other packages
    14 Jan 2025