diff --git a/README.md b/README.md
index 2411696..013f56e 100644
--- a/README.md
+++ b/README.md
@@ -77,6 +77,14 @@ in [test/CMakeLists.txt](test/CMakeLists.txt) file.
 
 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 Embedded C-SDK repository contains a demo showing the use of AWS IoT