7 search results for "tag:"specification""
Showing 1 - 7
-
binsec
No documentation
Semantic analysis of binary executables0.10.1LGPL-2.1-or-laterUsed by 0 other packages01 Jul 2025 -
frama-c
No documentation
Platform dedicated to the analysis of source code written in C31.0LGPL-2.1-onlyUsed by 5 other packages29 Jun 2025 -
frama-c-metacsl
No documentation
MetAcsl plugin of Frama-C for writing pervasives properties0.9~betaLGPL-2.1-onlyUsed by 0 other packages23 Jun 2025 -
frama-clang
No documentation
Frama-C plug-in based on Clang for parsing C++ files0.0.18~betaLGPL-2.1-onlyUsed by 0 other packages23 Jun 2025 -
why3
No documentation
Why3 environment for deductive program verification1.8.1LGPL-2.1-onlyUsed by 7 other packages09 Jun 2025 -
why3-coq
No documentation
Why3 environment for deductive program verification1.8.1LGPL-2.1-onlyUsed by 0 other packages09 Jun 2025 -
why3-ide
No documentation
Why3 environment for deductive program verification1.8.1LGPL-2.1-onlyUsed by 0 other packages09 Jun 2025