• C Bounded Model Checker

    C++ 131 104 Updated Aug 13, 2018
  • Static Analyzer and Verifier

    C++ 9 14 Updated Aug 13, 2018
  • Java BSD-3-Clause Updated Aug 13, 2018
  • Queries the GitHub issues API to format a changelog

    JavaScript 12 GPL-3.0 Updated Aug 13, 2018
  • Java class model library

    Java Updated Aug 10, 2018
  • GNAT 2 GOTO Converter

    Ada 6 Updated Aug 10, 2018
  • Java 1 2 Updated Aug 2, 2018
  • Demonstration project for Java analysis

    Java 5 12 Updated Aug 2, 2018
  • C++ 2 4 Updated Aug 1, 2018
  • jbmc Archived

    REPO TO BE DELETED: JBMC is maintained here now: https://github.com/diffblue/cbmc/tree/develop/jbmc

    Java 1 1 Updated Jun 8, 2018
  • CPROVER wrappers and configuration for the Software Verification Competition (SV-COMP)

    PHP 1 5 Updated Apr 25, 2018
  • Musketeer

    C++ 1 2 Updated Sep 16, 2017
  • This is a repo of the Docker images for building CBMC in various operating systems.

    Java 1 Updated Sep 7, 2017
  • A simple tool for repairing truncated XML and JSON files

    C++ 1 1 Updated May 27, 2017
  • miniz

    Forked from uroni/miniz

    miniz: Single C source file zlib-replacement library, originally from code.google.com/p/miniz

    C 84 Updated Feb 8, 2017
  • C++ 1 2 Updated Apr 19, 2016
  • Eclipse plugin for CBMC

    Java 3 3 Updated Dec 30, 2014