GitHub repository: mww-aws/aws-batch-cbmc
Primary language: Python
Description: AWS Batch CBMC makes it easy to run CBMC (the C Bounded Model Checker) on AWS Batch.