[ Paquet source : cbmc ]
Paquet : cbmc (5.12-5)
Liens pour cbmc
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source cbmc :
- [cbmc_5.12-5.dsc]
- [cbmc_5.12.orig-java-models-library.tar.gz]
- [cbmc_5.12.orig.tar.gz]
- [cbmc_5.12-5.debian.tar.xz]
Responsable :
Ressources externes :
- Page d'accueil [www.cprover.org]
Paquets similaires :
vérificateur de modèle borné pour les programmes C et C++
CBMC crée des traces montrant comment une assertion peut être violée ou prouve qu'une assertion ne peut être violée au cours d'un nombre donné d'itérations de boucles.
Autres paquets associés à cbmc
|
|
|
|
-
- dep: gcc
- compilateur C GNU
-
- dep: libc6 (>= 2.29)
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
-
- dep: libgcc-s1 (>= 3.0) [s390x]
- bibliothèque de prise en charge de GCC
- dep: libgcc-s1 (>= 3.4) [amd64]
- dep: libgcc-s1 (>= 3.5) [armel, armhf]
- dep: libgcc-s1 (>= 4.2) [non amd64, armel, armhf, s390x]
-
- dep: libstdc++6 (>= 9)
- bibliothèque standard C++ de GNU v3
-
- dep: minisat
- solveur SAT rapide et léger
-
- sug: gdb
- débogueur GNU
un paquet virtuel est également fourni par gdb-minimal
Télécharger cbmc
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| amd64 | 17 316,1 ko | 65 585,0 ko | [liste des fichiers] |
| arm64 | 13 137,5 ko | 58 325,0 ko | [liste des fichiers] |
| armel | 11 707,4 ko | 54 321,0 ko | [liste des fichiers] |
| armhf | 10 927,9 ko | 39 741,0 ko | [liste des fichiers] |
| i386 | 18 355,8 ko | 70 193,0 ko | [liste des fichiers] |
| mips64el | 14 072,4 ko | 79 905,0 ko | [liste des fichiers] |
| mipsel | 14 211,2 ko | 77 832,0 ko | [liste des fichiers] |
| ppc64el | 16 053,0 ko | 72 026,0 ko | [liste des fichiers] |
| s390x | 14 665,3 ko | 64 997,0 ko | [liste des fichiers] |