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
    ACSL C abstract interpretation code transformation dataflow analysis deductive verification formal specification program verification runtime annotation checking static analysis
    Michele Alberti Thibaud Antignac Gergö Barany Patrick Baudin Nicolas Bellec et al.
    33.0
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository
  2. why3find
    Documentation
    A Why3 Package Manager
    why3
    Loïc Correnson <loic.correnson@cea.fr> Benjamin Jorge <benjamin.jorge@cea.fr>
    1.3.0
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository