Källkodspaket: cbmc (6.6.0-4)

Länkar för cbmc

• eLxr Patch Tracker

Ansvarig:

• Michael Tautschnig

Externa resurser:

• Hemsida [www.cprover.org]

cbmc

bounded model checker for C and C++ programs

jbmc

bounded model checker for Java programs

Andra paket besläktade med cbmc

• adep: debhelper-compat (= 13)

  Paketet inte tillgängligt

• adep: bison

  YACC-compatible parser generator

• adep: flex

  fast lexical analyzer generator

• adep: minisat (>= 1:2.2.1-2)

  Fast and lightweight SAT solver

• adep: zlib1g-dev

  compression library - development

• adep: gdb [amd64]

  GNU Debugger

• adep: libxml2-utils

  GNOME XML library - utilities

• adep: python-is-python3

  symlinks /usr/bin/python to python3

• adep: z3 [ej sh4]

  theorem prover from Microsoft Research

• adep: cvc5 [ej armel armhf hppa hurd-amd64 hurd-i386 i386 ia64 loong64 mips64el powerpc sh4 x32]

  automated theorem prover for SMT problems

• adep: default-jdk-headless [ej arc hppa hurd-i386 kfreebsd-amd64 kfreebsd-i386 loong64]

  Standard Java or Java compatible Development Kit (headless)

• adep: libmaven-dependency-plugin-java [ej arc hppa hurd-i386 kfreebsd-amd64 kfreebsd-i386 loong64]

  Maven Dependency Plugin

• adep: libmaven-install-plugin-java [ej arc hppa hurd-i386 kfreebsd-amd64 kfreebsd-i386 loong64]

  Maven install plugin

• adep: libmaven-resources-plugin-java [ej arc hppa hurd-i386 kfreebsd-amd64 kfreebsd-i386 loong64]

  Maven resources plugin

• adep: maven-debian-helper [ej arc hppa hurd-i386 kfreebsd-amd64 kfreebsd-i386 loong64]

  Helper tools for building Debian packages with Maven

Download cbmc