Source Package: cbmc (6.6.0-4)

Links for cbmc

• eLxr Patch Tracker

Ylläpitäjä:

• Michael Tautschnig

External Resources:

• Kotisivu [www.cprover.org]

cbmc

bounded model checker for C and C++ programs

jbmc

bounded model checker for Java programs

Muut pakettiin cbmc liittyvät paketit

• adep: debhelper-compat (= 13)

  Paketti ei saatavilla

• 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 [ei sh4]

  theorem prover from Microsoft Research

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

  automated theorem prover for SMT problems

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

  Standard Java or Java compatible Development Kit (headless)

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

  Maven Dependency Plugin

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

  Maven install plugin

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

  Maven resources plugin

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

  Helper tools for building Debian packages with Maven

Download cbmc