thomasspriggs

Software Engineer with experience working on CBMC

Pinned Repositories

aws-iot-device-sdk-embedded-C
SDK for connecting to AWS IoT from a device using embedded C.
Language:C00
cbmc
C Bounded Model Checker
Language:SWIG01
CoreBanking
A simple CoreBanking app for demo purposes.
Language:Java00
github-changelog-generator
Queries the GitHub issues API to format a changelog
Language:JavaScript01
cbmc
C Bounded Model Checker
Language:C++827260
java-models-library
JDK 8 class model library
Language:Java44
deeptest-utils
Maven package for executing tests created by Diffblue Cover
Language:Java30
whippet-bobsled
Language:Python00

thomasspriggs's Repositories

thomasspriggs/cbmc
C Bounded Model Checker
Language:SWIG1
thomasspriggs/CoreBanking
A simple CoreBanking app for demo purposes.
thomasspriggs/aws-iot-device-sdk-embedded-C
SDK for connecting to AWS IoT from a device using embedded C.
thomasspriggs/github-changelog-generator
Queries the GitHub issues API to format a changelog
Language:JavaScript1