model-checking
Results
3
repositories owned by
model-checking
cbmc-starter-kit
35
Stars
21
Forks
Watchers
The CBMC stater kit makes it easy to add CBMC verification to a software project.
cbmc-viewer
30
Stars
11
Forks
Watchers
CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.