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

gappa
Tool intended for formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic
Guillaume Melquiond
1.4.0
CeCILL
Used by 0 other packages
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.5.1
LGPL-2.1-only
Used by 8 other packages
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
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.5.1
LGPL-2.1-only
Used by 0 other packages
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.5.1
LGPL-2.1-only
Used by 0 other packages