Command-line tool

cbmc

brew/cbmc

Checked 25 Oct 2026, 21:09 UTC · Listing refreshed from Homebrew, winget, npm, Scoop and cargo; npm packages checked against OSV.dev

C Bounded Model Checker

Website

At a glance

Type

Command-line tool

Install on

macOS, Linux

Last checked

25 Oct 2026, 21:09 UTC

Install it

macOS

brew install cbmc

Linux

brew install cbmc

Related command-line tools

• esbmc
  Efficient SMT-based context-bounded model checker for C, C++, and Python
• license-checker
  Check license info for a package license cli checker oss
• license-checker-rseidelsohn
  Extract NPM package licenses - Feature enhanced version of the original license-checker v25.0.1 license cli checker oss
• editorconfig-checker
  Tool to verify that your files are in harmony with your .editorconfig hacktoberfest linter lint code-quality linting…
• dotenv-checker
  🔌 CLI to check/generate .env files and maintain them synchronized dotenv config environment checker generator conf…
• cspell
  Spell checker for code
• cpplint
  Static code checker for C++
• doc8
  Style checker for Sphinx documentation

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents