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

  1. gappa
    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
    Last published 22 Mar 2023
  2. why3
    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.6.0
    LGPL-2.1-only
    Used by 6 other packages
    Last published 08 Mar 2023
  3. why3-base
    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
    Last published 12 Jan 2018
  4. why3-coq
    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.6.0
    LGPL-2.1-only
    Used by 0 other packages
    Last published 08 Mar 2023
  5. why3-ide
    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.6.0
    LGPL-2.1-only
    Used by 0 other packages
    Last published 08 Mar 2023