[ trixie ]
[ sid ]
[ Source: cbmc ]
Package: jbmc (6.1.1-2)
Links for jbmc
Debian Resources:
Download Source Package cbmc:
- [cbmc_6.1.1-2.dsc]
- [cbmc_6.1.1.orig-java-cprover-api.tar.gz]
- [cbmc_6.1.1.orig-java-models-library.tar.gz]
- [cbmc_6.1.1.orig.tar.gz]
- [cbmc_6.1.1-2.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)
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
-
- dep: libgcc-s1 (>= 3.4)
- GCC støttebibliotek
-
- dep: libstdc++6 (>= 14)
- GNU Standard C++ bibliotek v3
-
- dep: minisat (>= 1:2.2.1)
- Fast and lightweight SAT solver
-
- sug: java-compiler
- virtual package provided by openjdk-17-jdk, openjdk-17-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
Download jbmc
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 8,464.6 kB | 29,437.0 kB | [list of files] |