12 search results for "tag:"automated theorem prover""
Showing 1 - 12
-
Semantic analysis of binary executables0.9.1LGPL-2.1-or-laterUsed by 0 other packages21 May 2024
-
A linter for logic languages0.10BSD-2-ClauseUsed by 0 other packages24 Jun 2024
-
A tool library for automated deduction tools0.10BSD-2-ClauseUsed by 4 other packages24 Jun 2024
-
A LSP server for automated deduction languages0.10BSD-2-ClauseUsed by 0 other packages24 Jun 2024
-
Platform dedicated to the analysis of source code written in C29.0LGPL-2.1-onlyUsed by 5 other packages13 Jun 2024
-
frama-c-base
No documentation
Platform dedicated to the analysis of source code written in C.15.0LGPL-2.1-onlyUsed by 2 other packages30 Oct 2018 -
why
No documentation
Why is a software verification platform.2.41LGPL-2.1-onlyUsed by 0 other packages03 Jul 2018 -
Why3 environment for deductive program verification1.7.2LGPL-2.1-onlyUsed by 9 other packages22 Apr 2024
-
why3-base
No documentation
Why3 environment for deductive program verification (base)0.88.3LGPL-2.1-onlyUsed by 1 other packages12 Jan 2018 -
Why3 environment for deductive program verification1.7.2LGPL-2.1-onlyUsed by 0 other packages22 Apr 2024
-
Why3 environment for deductive program verification1.7.2LGPL-2.1-onlyUsed by 0 other packages22 Apr 2024
-
0.5.0BSD-3-ClauseUsed by 0 other packages26 Jan 2024