1 search result for "author:"Kilyan Le Gallic""

Showing 1 - 1
  1. frama-c

    No documentation

    Platform dedicated to the analysis of source code written in C
    deductive 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~beta
    LGPL-2.1-only
    Used by 2 other packages
    12 Nov 2024