Пакет: cbmc (5.12-5)

[ Източник: cbmc  ]

bounded model checker for C and C++ programs

CBMC generates traces that demonstrate how an assertion can be violated, or proves that the assertion cannot be violated within a given number of loop iterations.

Етикети: Role: Program

Други пакети, свързани с cbmc

• dep: gcc

  GNU C compiler

• dep: libc6 (>= 2.29)

  GNU C Library: Shared libraries
  също и виртуален пакет, предлаган от libc6-udeb

• dep: libgcc-s1 (>= 3.0) [s390x]

  GCC support library

  dep: libgcc-s1 (>= 3.4) [amd64]

  dep: libgcc-s1 (>= 3.5) [armel, armhf]

  dep: libgcc-s1 (>= 4.2) [не amd64, armel, armhf, s390x]

• dep: libstdc++6 (>= 9)

  GNU Standard C++ Library v3

• dep: minisat

  Fast and lightweight SAT solver

• sug: gdb

  GNU Debugger
  също и виртуален пакет, предлаган от gdb-minimal

Изтегляне на cbmc

Изтегляне за всички налични архитектури

Архитектура	Големина на пакета	Големина след инсталиране	Файлове
amd64	17 316,1 кБ	65 585,0 кБ	[списък на файловете]
arm64	13 137,5 кБ	58 325,0 кБ	[списък на файловете]
armel	11 707,4 кБ	54 321,0 кБ	[списък на файловете]
armhf	10 927,9 кБ	39 741,0 кБ	[списък на файловете]
i386	18 355,8 кБ	70 193,0 кБ	[списък на файловете]
mips64el	14 072,4 кБ	79 905,0 кБ	[списък на файловете]
mipsel	14 211,2 кБ	77 832,0 кБ	[списък на файловете]
ppc64el	16 053,0 кБ	72 026,0 кБ	[списък на файловете]
s390x	14 665,3 кБ	64 997,0 кБ	[списък на файловете]