zhassan-aws / cbmc-viewer Goto Github PK
View Code? Open in Web Editor NEWThis project forked from model-checking/cbmc-viewer
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/
License: Apache License 2.0