5 search results for "author:"Guillaume Melquiond""

Showing 1 - 5
  1. gappa
    Documentation
    Tool intended for formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic
    Guillaume Melquiond
    1.4.1
    CECILL-2.1
    Used by 0 other packages
    22 Mar 2023
  2. 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
  3. 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
  4. 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
  5. 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