Update README to include a section on CBMC

Author: angelonakos

README.md

@@ -76,6 +76,14 @@ file, refer to the `coverity_analysis` library target in
 
 1. Run `cd build && ctest` to execute all tests and view the test run summary.
 
+## CBMC
+
+ To learn more about CBMC and proofs specifically, review the training material [here](https://model-checking.github.io/cbmc-training).
+
+The `test/cbmc/proofs` directory contains CBMC proofs.
+
+In order to run these proofs you will need to install CBMC and other tools by following the instructions [here](https://model-checking.github.io/cbmc-training/installation.html).
+
 ## Reference examples
 
 The AWS IoT Device SDK for Embedded C repository contains demos of using the HTTP client