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.
Home Page:https://model-checking.github.io/cbmc-viewer/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool