16 search results for "author:"François Bobot""

Showing 1 - 16
  1. antic

    No documentation

    Deprecated use flint
    François Bobot
    0.4.0
    LGPL-2.1-only
    Used by 1 other packages
    11 Jul 2024
  2. arb

    No documentation

    Deprecated use flint
    François Bobot
    0.4.0
    LGPL-2.1-only
    Used by 1 other packages
    11 Jul 2024
  3. calcium

    No documentation

    Deprecated use flint
    François Bobot
    0.4.0
    LGPL-2.1-only
    Used by 1 other packages
    11 Jul 2024
  4. colibri2

    No documentation

    A CP solver for smtlib
    François Bobot Bruno Marre Guillaume Bury Stéphane Graham-Lengrand
    0.4
    LGPL-2.1-only
    Used by 0 other packages
    29 Mar 2023
  5. colibrics
    Documentation
    A CP solver proved in Why3
    François Bobot
    0.4
    LGPL-2.1-only
    Used by 0 other packages
    29 Mar 2023
  6. colibrilib

    No documentation

    A library of domains and propagators proved in Why3
    François Bobot
    0.4
    LGPL-2.1-only
    Used by 1 other packages
    29 Mar 2023
  7. extunix
    Documentation
    Collection of thin bindings to various low-level system API
    org:ygrek
    Andre Nathan Antonin Décimo Dmitry Grebeniuk François Bobot Gerd Stolpmann et al.
    0.4.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 9 other packages
    13 Aug 2024
  8. farith
    Documentation
    Floating point numbers library extracted from the Flocq Coq Library
    François Bobot Loïc Correnson Arthur Correnson
    0.1
    LGPL-2.1
    Used by 2 other packages
    30 May 2022
  9. flint

    No documentation

    Stub of the C library Flint3
    François Bobot
    0.4.0
    LGPL-2.1-only
    Used by 3 other packages
    11 Jul 2024
  10. 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.
    30.0~beta
    LGPL-2.1-only
    Used by 3 other packages
    12 Nov 2024
  11. 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
  12. oci

    No documentation

    OCI is a framework for continuous integrations and benchmarks. At the
    François Bobot
    0.3
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    13 Apr 2016
  13. why3
    Documentation
    Why3 environment for deductive program verification
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    1.7.2
    LGPL-2.1-only
    Used by 9 other packages
    22 Apr 2024
  14. why3-base

    No documentation

    Why3 environment for deductive program verification (base)
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    0.88.3
    LGPL-2.1-only
    Used by 1 other packages
    12 Jan 2018
  15. why3-coq
    Documentation
    Why3 environment for deductive program verification
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    1.7.2
    LGPL-2.1-only
    Used by 0 other packages
    22 Apr 2024
  16. why3-ide
    Documentation
    Why3 environment for deductive program verification
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    1.7.2
    LGPL-2.1-only
    Used by 0 other packages
    22 Apr 2024