# README

<!-- START doctoc generated TOC please keep comment here to allow auto update -->
<!-- DON'T EDIT THIS SECTION, INSTEAD RE-RUN doctoc TO UPDATE -->
**Table of Contents**

- [Structure of this repository](#structure-of-this-repository)

<!-- END doctoc generated TOC please keep comment here to allow auto update -->

## Structure of this repository

This repository includes a variety of information to help you verify a C project using CBMC.

* [How to setup your repository](https://github.com/awslabs/aws-templates-for-cbmc-proofs/blob/master/README.md)
* [How to plan your verification tasks, and estimate effort](PLANNING.md)
* [How to write a good CBMC proof](PROOF-WRITING.md)
* [How to debug a CBMC error report](DEBUG-CBMC.md)
* [How to write code so that it will be easy to verify](CODING-FOR-VERIFICATION.md)
* [A proof checklist for writers and reviewers](checklist.md)
* [A FAQ](FAQ.md)