5 search results for "author:"Andrei Paskevich""

  1. vocal
    VOCaL -- The Verified OCaml Library
    Arthur Charguéraud Martin Clochard Jean-Christophe Filliâtre Léon Gondelman Armaël Guéneau Xavier Leroy Cláudio Lourenço Simão Melo de Sousa Andrei Paskevich Mário Pereira François Pottier
    0.1
    MIT
    Used by 0 other packages
    Last published 25 Dec 2018
  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