# CBMC projects

Here is a list of software projects that contain some CBMC verification work.

* [AWS C Common](https://github.com/awslabs/aws-c-common)
  ([cbmc](https://github.com/awslabs/aws-c-common/tree/main/verification/cbmc))
* [AWS Encryption SDK for C](https://github.com/aws/aws-encryption-sdk-c)
  ([cbmc](https://github.com/aws/aws-encryption-sdk-c/tree/master/verification/cbmc))
* [AWS IoT Device Defender Library](https://github.com/aws/device-defender-for-aws-iot-embedded-sdk)
  ([cbmc](https://github.com/aws/device-defender-for-aws-iot-embedded-sdk/tree/main/test/cbmc))
* [AWS IoT Device Shadow Library](https://github.com/aws/device-shadow-for-aws-iot-embedded-sdk)
  ([cbmc](https://github.com/aws/device-shadow-for-aws-iot-embedded-sdk/tree/main/test/cbmc))
* [AWS IoT Fleet Provisioning Library](https://github.com/aws/Fleet-Provisioning-for-AWS-IoT-embedded-sdk)
  ([cbmc](https://github.com/aws/fleet-provisioning-for-aws-iot-embedded-sdk/tree/main/test/cbmc))
* [AWS IoT Jobs Library](https://github.com/aws/jobs-for-aws-iot-embedded-sdk)
  ([cbmc](https://github.com/aws/s2n-tls/tree/main/tests/cbmc))
  ([cbmc](https://github.com/aws/Jobs-for-AWS-IoT-embedded-sdk/tree/main/test/cbmc))
* [AWS IoT Over-the-air Update Library](https://github.com/aws/ota-for-aws-iot-embedded-sdk)
  ([cbmc](https://github.com/aws/ota-for-aws-iot-embedded-sdk/tree/main/test/cbmc))
* [AWS SigV4 Library](https://github.com/aws/SigV4-for-AWS-IoT-embedded-sdk)
  ([cbmc](https://github.com/aws/SigV4-for-AWS-IoT-embedded-sdk/tree/main/test/cbmc))
* [AWS s2n](https://github.com/aws/s2n-tls)
  ([cbmc](https://github.com/aws/s2n-tls/tree/main/tests/cbmc))
* [Amazon FreeRTOS](https://github.com/aws/amazon-freertos)
  ([cbmc](https://github.com/aws/amazon-freertos/tree/main/tools/cbmc))
* [FreeRTOS](https://github.com/FreeRTOS/FreeRTOS)
  ([cbmc](https://github.com/FreeRTOS/FreeRTOS/tree/main/FreeRTOS/Test/CBMC))
* [FreeRTOS Cellular Interface](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface)
  ([cbmc](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/tree/main/test/cbmc))
* [FreeRTOS coreHTTP Client Library](https://github.com/FreeRTOS/coreHTTP)
  ([cbmc](https://github.com/FreeRTOS/coreHTTP/tree/main/test/cbmc))
* [FreeRTOS coreJSON Library](https://github.com/FreeRTOS/coreJSON)
  ([cbmc](https://github.com/FreeRTOS/coreJSON/tree/main/test/cbmc))
* [FreeRTOS coreMQTT Agent Library](https://github.com/FreeRTOS/coreMQTT-Agent)
  ([cbmc](https://github.com/FreeRTOS/coreMQTT-Agent/tree/main/test/cbmc))
* [FreeRTOS coreMQTT Client Library](https://github.com/FreeRTOS/coreMQTT)
  ([cbmc](https://github.com/FreeRTOS/coreMQTT/tree/main/test/cbmc))
* [FreeRTOS corePCKS11 Library](https://github.com/FreeRTOS/corePKCS11)
  ([cbmc](https://github.com/FreeRTOS/corePKCS11/tree/main/test/cbmc))
* [FreeRTOS coreSNTP Library](https://github.com/FreeRTOS/coreSNTP)
  ([cbmc](https://github.com/FreeRTOS/coreSNTP/tree/main/test/cbmc))
* [FreeRTOS TCP](https://github.com/FreeRTOS/FreeRTOS-Plus-TCP)
  ([cbmc](https://github.com/FreeRTOS/FreeRTOS-Plus-TCP/tree/main/test/cbmc))