3 search results for "author:"Pascal Cuoq""

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-base

    No 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. zarith
    Documentation
    Implements arithmetic and logical operations over arbitrary-precision integers
    Antoine Miné Xavier Leroy Pascal Cuoq
    1.13
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 128 other packages
    20 Jul 2023