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

Showing 1 - 3
  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 Nicolas Bellec et al.
    29.0~beta
    LGPL-2.1-only
    Used by 2 other packages
    22 May 2024
  2. frama-c-metacsl
    Documentation
    MetAcsl plugin of Frama-C for writing pervasives properties
    program verification formal specification C plugins ACSL MetACSL
    Virgile Robles Téo Bernier Nikolai Kosmatov
    0.6
    LGPL-2.1-only
    Used by 0 other packages
    26 Feb 2024
  3. stdint-literals
    Documentation
    Small PPX for fixed size integer literals
    Virgile Robles
    1.0
    MIT
    Used by 0 other packages
    02 Nov 2022