checklist.day

cbmc

JSON →
cli 6.9.0 ·shell
✓ install reviewed
testing

C Bounded Model Checker. Available on Homebrew.

Resources

homepagewww.cprover.org/cbmc/ ↗

API endpoints

full doc /v1/registry/cbmc
install /v1/registry/cbmc/install