Paquet : jbmc (6.4.1-2)

[ Paquet source : cbmc  ]

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.

Autres paquets associés à jbmc

• dep: libc6 (>= 2.38)

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6-udeb

• dep: libgcc-s1 (>= 3.4)

  bibliothèque de prise en charge de GCC

• dep: libstdc++6 (>= 14)

  bibliothèque standard C++ de GNU v3

• dep: minisat (>= 1:2.2.1)

  solveur SAT rapide et léger

• sug: java-compiler

  paquet virtuel fourni par 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, openjdk-25-jdk, openjdk-25-jdk-headless

Télécharger jbmc

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
mips64el	6 726,8 ko	34 614,0 ko	[liste des fichiers]