Verified record · from the answer index

cbmc

clitested · static-verifiedscore 40/100signed passport ✓30 monthly downloads

C Bounded Model Checker

cli:brew:cbmc · published by diffblue · source repository