3 search results for "author:"Dario Pinto""

Showing 1 - 3
  1. frama-c

    No 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.
    31.0
    LGPL-2.1-only
    Used by 5 other packages
    29 Jun 2025
  2. swhid
    Documentation
    OCaml library to work with Software Heritage identifiers
    swh software heritage archive swhid persistent identifier
    Léo Andrès <contact@ndrs.fr> Dario Pinto <dario.pinto@ocamlpro.com>
    0.2
    ISC
    Used by 0 other packages
    21 Jun 2022
  3. swhid_core
    Documentation
    OCaml library to work with swhids
    Léo Andrès <contact@ndrs.fr> Dario Pinto <dario.pinto@ocamlpro.com>
    0.1
    ISC
    Used by 2 other packages
    20 Jun 2022