cbmc

cli 6.9.0 ·shell

✓ install reviewed

C Bounded Model Checker. Available on Homebrew.

Traffic · last 30 days · indexed Sun May 31 · updated Sat Jul 11

total hits 13

actors 3 distinct systems

last hit 10d ago AhrefsBot

ByteDance

3

Humans

7

top countries 🇸🇬 Singapore · 🇺🇸 United States · 🇨🇦 Canada

Resources

homepagewww.cprover.org/cbmc/ ↗

API endpoints

full doc /v1/registry/cbmc

install /v1/registry/cbmc/install