Binary package “jbmc” in ubuntu oracular
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.
Source package
Published versions
- jbmc 5.95.1-4ubuntu1 in amd64 (Release)
- jbmc 6.1.1-2 in amd64 (Proposed)
- jbmc 6.1.1-2 in amd64 (Release)
- jbmc 6.1.1-2 in arm64 (Proposed)
- jbmc 6.1.1-2 in arm64 (Release)
- jbmc 6.1.1-2 in armhf (Proposed)
- jbmc 6.1.1-2 in armhf (Release)
- jbmc 5.95.1-4ubuntu1 in ppc64el (Release)
- jbmc 6.1.1-2 in ppc64el (Proposed)
- jbmc 6.1.1-2 in ppc64el (Release)
- jbmc 5.95.1-4ubuntu1 in riscv64 (Release)
- jbmc 6.1.1-2 in riscv64 (Proposed)
- jbmc 6.1.1-2 in riscv64 (Release)
- jbmc 5.95.1-4ubuntu1 in s390x (Release)
- jbmc 6.1.1-2 in s390x (Proposed)
- jbmc 6.1.1-2 in s390x (Release)