FRET-FreeRTOS/FreeRTOS-Plus/Source/FreeRTOS-Cellular-Interface/test/cbmc/aws-templates-for-cbmc-proofs/training-material

README

Table of Contents

• Structure of this repository

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
• How to plan your verification tasks, and estimate effort
• How to write a good CBMC proof
• How to debug a CBMC error report
• How to write code so that it will be easy to verify
• A proof checklist for writers and reviewers
• A FAQ