[ trixie ] [ sid ]

[ Pakiet źródłowy: ]

Pakiet: jbmc (5.95.1-6) [debports]

Odnośniki dla jbmc

Zasoby systemu Debian:

Raporty o błędach

Pobieranie pakietu źródłowego :

Nie znaleziono

Opiekunowie:

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.38)

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb
dep: libgcc-s1 (>= 3.4)

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

Standardowa biblioteka GNU C++, wersja 3
dep: minisat (>= 1:2.2.1)

Fast and lightweight SAT solver

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	Rozmiar pakietu	Rozmiar po instalacji	Pliki
x32 (port nieoficjalny)	7 863,3 KiB	25 968,0 KiB	[lista plików]