GitHub repository: markrtuttle/aws-viewer-for-cbmc
Primary language: Python
Description: Scans the output of CBMC and produces a browsable summary of the results.