Пакет: jbmc (6.6.0-4 и други)

Връзки за jbmc

Ресурси за Debian:

Изтегляне на пакет-източник cbmc.

Отговорник:

Michael Tautschnig (Страница за QA)

Външни препратки:

Начална страница [www.cprover.org]

Подобни пакети:

bounded model checker for Java programs

JBMC 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.

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

зависимости

препоръчани

предложени

enhances

dep: libc6 (>= 2.38) [не alpha, ia64, sh4]

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

dep: libc6 (>= 2.41) [sh4]
dep: libc6.1 (>= 2.37) [ia64]

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

dep: libc6.1 (>= 2.38) [alpha]
dep: libgcc-s1 (>= 3.0) [arm64, ppc64el, s390x]

GCC support library

dep: libgcc-s1 (>= 3.4) [alpha, amd64, mips64el, ppc64, riscv64, sh4, sparc64, x32]

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

dep: libgcc-s1 (>= 4.2) [i386, ia64]
dep: libgcc-s2 (>= 4.2.1) [m68k]

GCC support library
dep: libstdc++6 (>= 13.1) [ia64, m68k]

GNU Standard C++ Library v3

dep: libstdc++6 (>= 14) [не ia64, m68k]
dep: libunwind8 [ia64]

library to determine the call-chain of a program - runtime
dep: minisat [ia64]

Fast and lightweight SAT solver

dep: minisat (>= 1:2.2.1) [не ia64]

sug: java-compiler

виртуален пакет, предлаган от openjdk-11-jdk, openjdk-11-jdk-headless, openjdk-17-jdk, openjdk-17-jdk-headless, openjdk-19-jdk, openjdk-19-jdk-headless, openjdk-20-jdk, openjdk-20-jdk-headless, openjdk-21-jdk, openjdk-21-jdk-headless, openjdk-22-jdk, openjdk-22-jdk-headless, openjdk-23-jdk, openjdk-23-jdk-headless, openjdk-24-jdk, openjdk-24-jdk-headless, openjdk-25-jdk, openjdk-25-jdk-headless, openjdk-26-jdk, openjdk-26-jdk-headless, openjdk-8-jdk

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

Изтегляне за всички налични архитектури
Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
alpha (неофициална архитектура)	6.6.0-4	7 072,7 кБ	33 464,0 кБ	[списък на файловете]
amd64	6.6.0-4	8 497,4 кБ	29 621,0 кБ	[списък на файловете]
arm64	6.6.0-4	7 159,4 кБ	28 105,0 кБ	[списък на файловете]
armel	6.6.0-4	6 808,4 кБ	25 594,0 кБ	[списък на файловете]
armhf	6.6.0-4	5 821,1 кБ	18 490,0 кБ	[списък на файловете]
i386	6.6.0-4	9 000,3 кБ	31 538,0 кБ	[списък на файловете]
ia64 (неофициална архитектура)	5.95.1-4	8 590,1 кБ	52 799,0 кБ	[списък на файловете]
m68k (неофициална архитектура)	6.6.0-4	7 555,3 кБ	27 962,0 кБ	[списък на файловете]
mips64el	6.6.0-4	6 737,8 кБ	34 687,0 кБ	[списък на файловете]
ppc64 (неофициална архитектура)	6.6.0-4	7 445,8 кБ	34 313,0 кБ	[списък на файловете]
ppc64el	6.6.0-4	7 692,5 кБ	32 649,0 кБ	[списък на файловете]
riscv64	6.6.0-4	7 895,1 кБ	22 797,0 кБ	[списък на файловете]
s390x	6.6.0-4	8 015,4 кБ	28 937,0 кБ	[списък на файловете]
sh4 (неофициална архитектура)	6.6.0-4	9 839,0 кБ	27 783,0 кБ	[списък на файловете]
sparc64 (неофициална архитектура)	6.6.0-4	5 939,2 кБ	26 719,0 кБ	[списък на файловете]
x32 (неофициална архитектура)	6.6.0-4	8 553,3 кБ	28 014,0 кБ	[списък на файловете]