Skip to content
Sections
>> Trisquel >> Packages >> aramo >> Source >> science >> cbmc
etiona  ] [  nabia  ] [  aramo  ]

Source Package: cbmc (5.12-5)

Links for cbmc

Trisquel Resources:

Maintainer:

Original Maintainer:

  • Michael Tautschnig

External Resources:

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

Other Packages Related to cbmc

  • build-depends
  • build-depends-indep

Download cbmc

FileSize (in kB)MD5 checksum
cbmc_5.12-5.dsc 2.2 kB f344a2e31104bc6f45635467893f8bb6
cbmc_5.12.orig-java-models-library.tar.gz 296.7 kB ac2c4bd95d602a589a3e0bace05c6f08
cbmc_5.12.orig.tar.gz 7,056.8 kB b3c3f77800d21b7875bc935d4c580ee8
cbmc_5.12-5.debian.tar.xz 15.4 kB 93b35e3fa4a4a0bc4c458e6d336bd599