» Ubuntu » Packages » raring (13.04) » Source » science » cbmc
precise  ] [  raring  ] [  saucy  ] [  trusty  ] [  utopic  ]

Source Package: cbmc (4.2-6ubuntu2) [universe]

Links for cbmc

Ubuntu Resources:


Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

  • Michael Tautschnig

It should generally not be necessary for users to contact the original maintainer.

External Resources:

The following binary packages are built from this source package:
bounded model checker for C and C++ programs

Other Packages Related to cbmc

  • build-depends
  • build-depends-indep
  • adep: debhelper (>= 9)
    helper programs for debian/rules
  • adep: minisat (>= 1:2.2.1-2)
    Fast and lightweight SAT solver
  • adep: zlib1g-dev
    compression library - development
  • adep: flex
    A fast lexical analyzer generator.
  • adep: bison
    YACC-compatible parser generator

Download cbmc

FileSize (in kB)MD5 checksum
cbmc_4.2-6ubuntu2.dsc 1.1 kB 295692174c9be608589c0281f93a5843
cbmc_4.2.orig.tar.gz 3,318.6 kB 397b44db218c6827be68c4893656a2f9
cbmc_4.2-6ubuntu2.debian.tar.gz 7.4 kB a3f3538e2584793ad3a81cec962ea225