[ trixie ] [ sid ]

[ Източник: ]

Пакет: jbmc (5.95.1-4) [debports]

Връзки за jbmc

Ресурси за Debian:

Доклади за грешки

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

Няма съвпадения

Отговорници:

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

Начална страница [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.1 (>= 2.37)

GNU C Library: Shared libraries
също и виртуален пакет, предлаган от libc6.1-udeb
dep: libgcc-s1 (>= 4.2)

GCC support library
dep: libstdc++6 (>= 13.1)

GNU Standard C++ Library v3
dep: libunwind8

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

Fast and lightweight SAT solver

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-8-jdk

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

Изтегляне за всички налични архитектури
Архитектура	Големина на пакета	Големина след инсталиране	Файлове
ia64 (неофициална архитектура)	8 590,1 кБ	52 799,0 кБ	[списък на файловете]