Versions Packages Information History Related Badges Report

Information for cbmc

Versions

  • 5.11.r1339.gabbb38942
  • 5.84.0 (2)
  • 5.76.1
  • 5.70.0
  • 5.50.0
  • 5.38.0
  • 5.25.0
  • 5.12 (2)
  • 5.11 (2)
  • 5.10 (2)
  • 5.8
  • 5.7
  • 5.6
  • 5.5
  • 5.3
  • 4.5

Package names

  • cbmc (6)
  • cbmc-bin
  • cbmc-git

Repositories

Categories

  • Unspecified
  • devel
  • science
  • universe/science

Licenses

  • BSD with advertising
  • BSD-4-Clause (2)
  • custom

Summaries

  • Bounded Model Checker for ANSI-C and C++ programs
  • Bounded Model Checker for C and C++ programs
  • Bounded Model Checking for ANSI-C
  • C Bounded Model Checker
  • CBMC is a Bounded Model Checker for C and C++ programs

Maintainers

All package recipes

Downloads

Build logs