3 search results for "author:"Virgile Prevosto""

Showing 1 - 3
  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.
    32.0
    LGPL-2.1-only
    Used by 4 other packages
    08 Dec 2025
  2. frama-clang

    No documentation

    Frama-C plug-in based on Clang for parsing C++ files
    formal specification C++ plugins ACSL ACSL++
    Virgile Prevosto
    0.0.19
    LGPL-2.1-only
    Used by 0 other packages
    19 Feb 2026
  3. headache
    Documentation
    Automatic generation of files headers
    Vincent Simonet Patrick Baudin Mehdi Dogguy André Maroneze François Pottier et al.
    1.08
    LGPL-2.0-only
    Used by 1 other packages
    16 May 2024