Pakiet: jbmc (5.95.1-6 i inne)

Odnośniki dla jbmc

Zasoby systemu Debian:

Pobieranie pakietu źródłowego cbmc:

Opiekun:

Michael Tautschnig (Strona QA)

Zasoby zewnętrzne:

Strona internetowa [www.cprover.org]

Podobne pakiety:

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.

Inne pakiety związane z jbmc

wymaga

poleca

sugeruje

enhances

dep: libc6 (>= 2.34) [nie alpha, ia64, sh4, x32]

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb

dep: libc6 (>= 2.37) [sh4]

dep: libc6 (>= 2.38) [x32]
dep: libc6.1 (>= 2.34) [alpha]

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6.1-udeb

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

Biblioteka wspomagająca GCC

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]

Biblioteka wspomagająca GCC
dep: libstdc++6 (>= 13.1)

Standardowa biblioteka GNU C++, wersja 3
dep: libunwind8 [ia64]

Biblioteka do ustalania łańcucha wywołań programu - środowisko uruchomieniowe
dep: minisat [ia64]

Fast and lightweight SAT solver

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

sug: java-compiler

pakiet wirtualny udostępniany przez 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-8-jdk

Pobieranie jbmc

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
alpha (port nieoficjalny)	5.95.1-4	6 802,3 KiB	31 660,0 KiB	[lista plików]
amd64	5.95.1-6	7 858,9 KiB	27 415,0 KiB	[lista plików]
arm64	5.95.1-6	6 725,7 KiB	26 559,0 KiB	[lista plików]
armel	5.95.1-6	6 241,3 KiB	23 928,0 KiB	[lista plików]
armhf	5.95.1-6	4 847,8 KiB	17 220,0 KiB	[lista plików]
i386	5.95.1-6	8 433,6 KiB	29 396,0 KiB	[lista plików]
ia64 (port nieoficjalny)	5.95.1-4	8 590,1 KiB	52 799,0 KiB	[lista plików]
m68k (port nieoficjalny)	5.95.1-6	7 402,0 KiB	26 888,0 KiB	[lista plików]
mips64el	5.95.1-6	6 212,5 KiB	33 304,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	5.95.1-6	7 126,1 KiB	32 895,0 KiB	[lista plików]
ppc64el	5.95.1-6	7 377,1 KiB	31 103,0 KiB	[lista plików]
riscv64	5.95.1-6	7 384,8 KiB	21 623,0 KiB	[lista plików]
s390x	5.95.1-6	7 533,8 KiB	27 191,0 KiB	[lista plików]
sh4 (port nieoficjalny)	5.95.1-6	9 155,2 KiB	26 493,0 KiB	[lista plików]
sparc64 (port nieoficjalny)	5.95.1-6	5 593,9 KiB	26 709,0 KiB	[lista plików]
x32 (port nieoficjalny)	5.95.1-6	7 863,3 KiB	25 968,0 KiB	[lista plików]