Skip to content
Change the repository type filter

All

    Repositories list

    • kani

      Public
      Kani Rust Verifier
      Rust
      1282.7k46917Updated Nov 3, 2025Nov 3, 2025
    • The CBMC starter kit makes it easy to add CBMC verification to a software project.
      Python
      2448341Updated Nov 3, 2025Nov 3, 2025
    • 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
      1333131Updated Nov 3, 2025Nov 3, 2025
    • verify-rust-std

      Public
      Verifying the Rust standard library
      Rust
      14k3002715Updated Nov 2, 2025Nov 2, 2025
    • The CBMC proof debugger is a Visual Studio Code extension contributing a trace debugger for findings by CBMC.
      TypeScript
      3821Updated Sep 29, 2025Sep 29, 2025
    • kani-verifier-blog

      Public
      Gnuplot
      15710Updated Sep 25, 2025Sep 25, 2025
    • kani-github-action

      Public
      This repository provides a GitHub Action for running the Kani Rust Verifier in CI.
      Python
      141160Updated May 13, 2025May 13, 2025
    • kani-vscode-extension

      Public
      Kani VSCode Extension
      TypeScript
      1318178Updated May 12, 2025May 12, 2025
    • .github

      Public
      419000Updated Oct 15, 2024Oct 15, 2024
    • rust-lean-models

      Public
      Lean models of Rust libraries
      Lean
      82200Updated Sep 4, 2024Sep 4, 2024
    • CBMC training material and documentation
      6722Updated Aug 25, 2022Aug 25, 2022