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.10.1

LGPL-2.1-or-later

Used by 0 other packages

01 Jul 2025
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.

31.0

LGPL-2.1-only

Used by 5 other packages

29 Jun 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.1

LGPL-2.1-only

Used by 7 other packages

09 Jun 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.1

LGPL-2.1-only

Used by 0 other packages

09 Jun 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.1

LGPL-2.1-only

Used by 0 other packages

09 Jun 2025