5 search results for "tag:"deductive""

Showing 1 - 5

binsec

No documentation

Semantic analysis of binary executables

binary code analysis symbolic execution deductive program verification formal specification automated theorem prover plugins abstract interpretation dataflow analysis linking disassembly

Adel Djoudi Benjamin Farinier Chakib Foulani Dorian Lesbre Frédéric Recoules et al.

0.11.0

LGPL-2.1-or-later

Used by 0 other packages

18 Jan 2026
frama-c

No documentation

Platform dedicated to the analysis of source code written in C

deductive verification 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.

32.0

LGPL-2.1-only

Used by 2 other packages

08 Dec 2025
why3

No 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.8.2

LGPL-2.1-only

Used by 7 other packages

19 Sep 2025
why3-coq

No 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.8.2

LGPL-2.1-only

Used by 0 other packages

19 Sep 2025
why3-ide

No 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.8.2

LGPL-2.1-only

Used by 0 other packages

19 Sep 2025