Toggle navigation
Projects
Maintainers
Repositories
Tools
Security
News
Docs
Versions
Packages
Information
History
Related
Badges
Report
Packages for
cbmc
52
package(s) known
AUR
cbmc
5.11
(5.11-1)
Summary:
Bounded Model Checking for ANSI-C
Maintainer:
pythonshell@aur
License:
custom
Link(s):
Package page
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream homepage
ok
AUR
cbmc-bin
5.11
(5.11-1)
Summary:
Bounded Model Checking for ANSI-C
Maintainer:
pythonshell@aur
License:
custom
Link(s):
Package page
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream homepage
ok
AUR
cbmc-git
5.11.r1339.gabbb38942
(5.11.r1339.gabbb38942-1)
Summary:
Bounded Model Checking for ANSI-C
Maintainer:
pythonshell@aur
License:
custom
Link(s):
Package page
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream homepage
ok
Debian 10
buster/main
cbmc
5.10
(5.10-5)
Maintainer:
mt@debian.org
Category:
science
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
ok
Debian 11
bullseye/main
cbmc
5.12
(5.12-5)
Maintainer:
mt@debian.org
Category:
science
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
ok
Debian Unstable
sid/main
cbmc
5.84.0
(5.84.0-2)
Maintainer:
mt@debian.org
Category:
science
Link(s):
Package page
ok
Package sources
dead
(see archive.org)
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
ok
Debian Unstable
sid/main
cbmc
5.12
(5.12-5)
Maintainer:
mt@debian.org
Category:
science
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
ok
Deepin
main
cbmc
5.10
(5.10-5)
Maintainer:
mt@debian.org
Link(s):
Upstream homepage
ok
Devuan 3.0
beowulf/main
cbmc
5.10
(5.10-5)
Maintainer:
mt@debian.org
Category:
science
Link(s):
Upstream homepage
ok
Devuan 4.0
chimaera/main
cbmc
5.12
(5.12-5)
Maintainer:
mt@debian.org
Category:
science
Link(s):
Upstream homepage
ok
Devuan Unstable
unstable/main
cbmc
5.84.0
(5.84.0-2)
Maintainer:
mt@debian.org
Category:
science
Link(s):
Upstream homepage
ok
Fedora 26
release
cbmc
5.7
(5.7-1.fc26)
Summary:
Bounded Model Checker for ANSI-C and C++ programs
Category:
Unspecified
License:
BSD with advertising
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora 27
release
cbmc
5.7
(5.7-3.fc27)
Summary:
Bounded Model Checker for ANSI-C and C++ programs
Category:
Unspecified
License:
BSD with advertising
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora 28
release
cbmc
5.8
(5.8-2.fc28)
Summary:
Bounded Model Checker for ANSI-C and C++ programs
Category:
Unspecified
License:
BSD with advertising
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora 29
release
cbmc
5.10
(5.10-1.fc29)
Summary:
Bounded Model Checker for ANSI-C and C++ programs
Category:
Unspecified
License:
BSD with advertising
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora 30
release
cbmc
5.11
(5.11-1.fc30)
Summary:
Bounded Model Checker for ANSI-C and C++ programs
Category:
Unspecified
License:
BSD with advertising
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora 30
updates
cbmc
5.11
(5.11-2.fc30)
Summary:
Bounded Model Checker for ANSI-C and C++ programs
Category:
Unspecified
License:
BSD with advertising
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora 31
release
cbmc
5.11
(5.11-4.fc31)
Summary:
Bounded Model Checker for ANSI-C and C++ programs
Category:
Unspecified
License:
BSD with advertising
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora 32
updates
cbmc
5.25.0
(5.25.0-1.fc32)
Summary:
Bounded Model Checker for ANSI-C and C++ programs
Category:
Unspecified
License:
BSD with advertising
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora 32
release
cbmc
5.11
(5.11-5.fc32)
Summary:
Bounded Model Checker for ANSI-C and C++ programs
Category:
Unspecified
License:
BSD with advertising
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora 33
updates
cbmc
5.38.0
(5.38.0-1.fc33)
Summary:
Bounded Model Checker for ANSI-C and C++ programs
Category:
Unspecified
License:
BSD with advertising
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora 33
release
cbmc
5.12
(5.12-2.fc33)
Summary:
Bounded Model Checker for ANSI-C and C++ programs
Category:
Unspecified
License:
BSD with advertising
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora 34
updates
cbmc
5.50.0
(5.50.0-1.fc34)
Summary:
Bounded Model Checker for ANSI-C and C++ programs
Category:
Unspecified
License:
BSD with advertising
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora 34
release
cbmc
5.25.0
(5.25.0-1.fc34)
Summary:
Bounded Model Checker for ANSI-C and C++ programs
Category:
Unspecified
License:
BSD with advertising
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora 35
updates
cbmc
5.50.0
(5.50.0-1.fc35)
Summary:
Bounded Model Checker for ANSI-C and C++ programs
Category:
Unspecified
License:
BSD with advertising
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora 35
release
cbmc
5.38.0
(5.38.0-1.fc35)
Summary:
Bounded Model Checker for ANSI-C and C++ programs
Category:
Unspecified
License:
BSD with advertising
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora 36
release
cbmc
5.50.0
(5.50.0-1.fc36)
Summary:
Bounded Model Checker for ANSI-C and C++ programs
Category:
Unspecified
License:
BSD with advertising
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora 37
release
cbmc
5.50.0
(5.50.0-2.fc37)
Summary:
Bounded Model Checker for ANSI-C and C++ programs
Category:
Unspecified
License:
BSD with advertising
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora 38
release
cbmc
5.50.0
(5.50.0-4.fc38)
Summary:
Bounded Model Checker for ANSI-C and C++ programs
Category:
Unspecified
License:
BSD-4-Clause
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora Rawhide
development
cbmc
5.50.0
(5.50.0-4.fc39)
Summary:
Bounded Model Checker for ANSI-C and C++ programs
Category:
Unspecified
License:
BSD-4-Clause
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Homebrew
cbmc
5.84.0
Summary:
C Bounded Model Checker
Link(s):
Package page
ok
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Upstream homepage
ok
nixpkgs stable 22.11
cbmc
5.70.0
Summary:
CBMC is a Bounded Model Checker for C and C++ programs
Maintainer:
c@jia.je
License:
BSD-4-Clause
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs unstable
cbmc
5.76.1
Summary:
CBMC is a Bounded Model Checker for C and C++ programs
Maintainer:
c@jia.je
License:
BSD-4-Clause
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
OpenBSD Ports
devel/cbmc
5.5
(5.5p5)
Summary:
Bounded Model Checker for C and C++ programs
Maintainer:
mages.simon@googlemail.com
Category:
devel
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Upstream homepage
ok
Upstream homepage
ok
,
no IPv6
Upstream download
ok
,
no IPv6
Upstream download
ok
Upstream download
ok
Upstream download
ok
Upstream download
ok
,
no IPv6
Upstream download
ok
Upstream download
ok
Upstream download
ok
Upstream download
ok
Pardus 21
main
cbmc
5.12
(5.12-5)
Maintainer:
mt@debian.org
Category:
science
Link(s):
Upstream homepage
ok
Parrot
parrot/main
cbmc
5.12
(5.12-5)
Maintainer:
mt@debian.org
Category:
science
Link(s):
Upstream homepage
ok
Parrot
parrot-updates/main
cbmc
5.12
(5.12-5)
Maintainer:
mt@debian.org
Category:
science
Link(s):
Upstream homepage
ok
PureOS Amber
cbmc
5.10
(5.10-5)
Maintainer:
mt@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
PureOS landing
cbmc
5.12
(5.12-5)
Maintainer:
mt@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
Raspbian Oldstable
main
cbmc
5.10
(5.10-5)
Maintainer:
mt@debian.org
Category:
science
Link(s):
Upstream homepage
ok
Raspbian Stable
main
cbmc
5.12
(5.12-5)
Maintainer:
mt@debian.org
Category:
science
Link(s):
Upstream homepage
ok
Trisquel 10.0
nabia/main
cbmc
5.10
(5.10-5ubuntu1)
Maintainer:
ubuntu-devel-discuss@lists.ubuntu.com
Category:
universe/science
Link(s):
Package page
ok
Upstream homepage
ok
Trisquel 11.0
aramo/main
cbmc
5.12
(5.12-5)
Maintainer:
mt@debian.org
Category:
universe/science
Link(s):
Package page
ok
Upstream homepage
ok
Ubuntu 14.04
trusty/universe
cbmc
4.5
(4.5-2ubuntu2)
Maintainer:
ubuntu-devel-discuss@lists.ubuntu.com
Category:
universe/science
Link(s):
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
Ubuntu 16.04
xenial/universe
cbmc
5.3
(5.3-1)
Maintainer:
mt@debian.org
Category:
universe/science
Link(s):
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
Ubuntu 18.04
bionic/universe
cbmc
5.6
(5.6-1)
Maintainer:
mt@debian.org
Category:
universe/science
Link(s):
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
Ubuntu 20.04
focal/universe
cbmc
5.10
(5.10-5ubuntu1)
Maintainer:
ubuntu-devel-discuss@lists.ubuntu.com
Category:
universe/science
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
Ubuntu 22.04
jammy/universe
cbmc
5.12
(5.12-5)
Maintainer:
mt@debian.org
Category:
universe/science
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
Ubuntu 22.10
kinetic/universe
cbmc
5.12
(5.12-5)
Maintainer:
mt@debian.org
Category:
universe/science
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
Ubuntu 23.04
lunar/universe
cbmc
5.12
(5.12-5)
Maintainer:
mt@debian.org
Category:
universe/science
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
Ubuntu 23.10
mantic/universe
cbmc
5.12
(5.12-5)
Maintainer:
mt@debian.org
Category:
universe/science
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
Ubuntu 23.10 Proposed
mantic-proposed/universe
cbmc
5.84.0
(5.84.0-2)
Maintainer:
mt@debian.org
Category:
universe/science
Link(s):
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok