[ Source: cbmc ]
Package: jbmc (6.6.0-4 and others)
Links for jbmc
Debian Resources:
Download Source Package cbmc:
- [cbmc_6.6.0-4.dsc]
- [cbmc_6.6.0.orig-java-cprover-api.tar.gz]
- [cbmc_6.6.0.orig-java-models-library.tar.gz]
- [cbmc_6.6.0.orig.tar.gz]
- [cbmc_6.6.0-4.debian.tar.xz]
Maintainer:
External Resources:
- Homepage [www.cprover.org]
Similar packages:
Bundet modelkontrol for Javaprogrammer
JBMC opretter registreringer, der demonstrerer hvordan en assertion kan overtrædes eller beviser at assertionerne ikke kan overtrædes uden et givent antal gennemløb.
Other Packages Related to jbmc
|
|
|
|
-
- dep: libc6 (>= 2.38) [not alpha, ia64, sh4]
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.41) [sh4]
-
- dep: libc6.1 (>= 2.37) [ia64]
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6.1-udeb
- dep: libc6.1 (>= 2.38) [alpha]
-
- dep: libgcc-s1 (>= 3.0) [arm64, ppc64el, s390x]
- GCC støttebibliotek
- 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 støttebibliotek
-
- dep: libstdc++6 (>= 13.1) [ia64, m68k]
- GNU Standard C++ bibliotek v3
- dep: libstdc++6 (>= 14) [not ia64, m68k]
-
- dep: libunwind8 [ia64]
- Bibliotek til at bestemme call-chain for et program - kørselstid
-
- dep: minisat [ia64]
- Fast and lightweight SAT solver
- dep: minisat (>= 1:2.2.1) [not ia64]
-
- sug: java-compiler
- virtual package provided by 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
Download jbmc
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha (unofficial port) | 6.6.0-4 | 7,072.7 kB | 33,464.0 kB | [list of files] |
| amd64 | 6.6.0-4 | 8,497.4 kB | 29,621.0 kB | [list of files] |
| arm64 | 6.6.0-4 | 7,159.4 kB | 28,105.0 kB | [list of files] |
| armel | 6.6.0-4 | 6,808.4 kB | 25,594.0 kB | [list of files] |
| armhf | 6.6.0-4 | 5,821.1 kB | 18,490.0 kB | [list of files] |
| i386 | 6.6.0-4 | 9,000.3 kB | 31,538.0 kB | [list of files] |
| ia64 (unofficial port) | 5.95.1-4 | 8,590.1 kB | 52,799.0 kB | [list of files] |
| m68k (unofficial port) | 6.6.0-4 | 7,555.3 kB | 27,962.0 kB | [list of files] |
| mips64el | 6.6.0-4 | 6,737.8 kB | 34,687.0 kB | [list of files] |
| ppc64 (unofficial port) | 6.6.0-4 | 7,445.8 kB | 34,313.0 kB | [list of files] |
| ppc64el | 6.6.0-4 | 7,692.5 kB | 32,649.0 kB | [list of files] |
| riscv64 | 6.6.0-4 | 7,895.1 kB | 22,797.0 kB | [list of files] |
| s390x | 6.6.0-4 | 8,015.4 kB | 28,937.0 kB | [list of files] |
| sh4 (unofficial port) | 6.6.0-4 | 9,839.0 kB | 27,783.0 kB | [list of files] |
| sparc64 (unofficial port) | 6.6.0-4 | 5,939.2 kB | 26,719.0 kB | [list of files] |
| x32 (unofficial port) | 6.6.0-4 | 8,553.3 kB | 28,014.0 kB | [list of files] |