Popular repositories

1. kani kani Public

   Kani Rust Verifier

   Rust 1.9k 77

2. cbmc-starter-kit cbmc-starter-kit Public

   The CBMC stater kit makes it easy to add CBMC verification to a software project.

   Python 40 21

3. cbmc-viewer cbmc-viewer Public

   CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.

   Python 31 11

4. kani-vscode-extension kani-vscode-extension Public

   Kani VSCode Extension

   TypeScript 13 9

5. kani-github-action kani-github-action Public

   This repository provides a GitHub Action for running the Kani Rust Verifier in CI.

   Python 9 14

6. cbmc-proof-debugger cbmc-proof-debugger Public

   The CBMC proof debugger is a Visual Studio Code extension contributing a trace debugger for findings by CBMC.

   TypeScript 7 1