toutes les options
buster  ] [  bullseye  ] [  trixie  ] [  sid  ]
[ Paquet source : cbmc  ]

Paquet : cbmc (6.1.1-2)

Liens pour cbmc

Screenshot

Ressources Debian :

Télécharger le paquet source cbmc :

Responsable :

Ressources externes :

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

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger cbmc

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
amd64 21 658,0 ko86 129,0 ko [liste des fichiers]