2 search results for "author:"Benjamin Jorge""

Showing 1 - 2
  1. 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.
    31.0
    LGPL-2.1-only
    Used by 5 other packages
    29 Jun 2025
  2. 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