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

Showing 1 - 4
  1. frama-c
    Documentation
    Platform dedicated to the analysis of source code written in C
    ACSL C abstract interpretation code transformation dataflow analysis deductive verification formal specification program verification runtime annotation checking static analysis
    Michele Alberti Thibaud Antignac Gergö Barany Patrick Baudin Nicolas Bellec et al.
    33.0
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository
  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.10
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  3. mirage-crypto-ec
    Documentation
    Elliptic Curve Cryptography with primitives taken from Fiat
    org:mirage
    Hannes Mehnert <hannes@mehnert.org> Nathan Rebours <nathan.p.rebours@gmail.com> Clément Pascutto <clement@tarides.com> Etienne Millon <me@emillon.org> Virgile Robles <virgile.robles@protonmail.ch> et al.
    2.3.0
    MIT
    Used by 10 other packages
    Added to opam-repository
  4. stdint-literals
    Documentation
    Small PPX for fixed size integer literals
    Virgile Robles
    1.0
    MIT
    Used by 0 other packages
    Added to opam-repository