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

Showing 1 - 2
  1. frama-c

    No 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~beta
    LGPL-2.1-only
    Used by 1 other packages
    10 Jul 2026
  2. zarith
    Documentation
    Implements arithmetic and logical operations over arbitrary-precision integers
    Antoine Miné Xavier Leroy Pascal Cuoq
    1.14
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 134 other packages
    15 Jul 2024