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

Showing 1 - 4
  1. frama-c
    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 Thibaut Benjamin et al.
    28.0~beta
    LGPL-2.1-only
    Used by 2 other packages
    30 Oct 2023
  2. frama-c-base
    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 Gergö Barany Patrick Baudin François Bobot Richard Bonichon et al.
    15.0
    LGPL-2.1-only
    Used by 2 other packages
    30 Oct 2018
  3. frama-clang
    Documentation
    Frama-C plug-in based on Clang for parsing C++ files
    Frama-C formal specification C++ plugins ACSL ACSL++
    David Cok Virgile Prevosto Franck Védrine
    0.0.14
    LGPL-2.1-only
    Used by 0 other packages
    06 Sep 2023
  4. headache
    Documentation
    Automatic generation of files headers
    Vincent Simonet Patrick Baudin Mehdi Dogguy André Maroneze François Pottier et al.
    1.07
    LGPL-2.0-only
    Used by 1 other packages
    03 Jul 2023