GitHub repository: karkhaz/aws-templates-for-cbmc-proofs
Description: Templates for writing CBMC proofs for C code