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