Skip to content

Commit

Permalink
Update README to include a section on CBMC
Browse files Browse the repository at this point in the history
  • Loading branch information
@angelonakos @paulbartell
angelonakos authored and paulbartell committed Jul 14, 2022
1 parent 19d35b6 commit c16275a
Showing 1 changed file with 8 additions and 0 deletions.
8 changes: 8 additions & 0 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit c16275a

Please sign in to comment.