2 search results for "author:"Sylvain Chiron""

Showing 1 - 2
  1. allegro5
    Documentation
    OCaml Allegro 5
    Sylvain Chiron <chironsylvain@orange.fr>
    0.2
    LGPL-3.0-or-later
    Used by 0 other packages
    09 Mar 2025
  2. frama-c

    No 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.
    32.0
    LGPL-2.1-only
    Used by 2 other packages
    08 Dec 2025