Repositories list

• kani-vscode-extension

  Public
  Kani VSCode Extension

  TypeScript

  •

  Apache License 2.0

  •1313 forks in model-checking/kani-vscode-extension•2323 stars in model-checking/kani-vscode-extension•1717 issues in model-checking/kani-vscode-extension•44 pull requests in model-checking/kani-vscode-extension•Updated Nov 3, 2026Nov 3, 2026

• verify-rust-std

  Public
  Verifying the Rust standard library

  Rust

  •

  Other

  •17k17k forks in model-checking/verify-rust-std•369369 stars in model-checking/verify-rust-std•4646 issues in model-checking/verify-rust-std•6161 pull requests in model-checking/verify-rust-std•Updated Nov 3, 2026Nov 3, 2026

• kani

  Public
  A model checker for Rust programs.

  rustverificationmodel-checking

  rustverificationmodel-checking

  Rust

  •

  Apache License 2.0

  •194194 forks in model-checking/kani•3.6k3.6k stars in model-checking/kani•490490 issues in model-checking/kani•5757 pull requests in model-checking/kani•Updated Nov 3, 2026Nov 3, 2026

• cbmc-proof-debugger

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

  TypeScript

  •

  MIT No Attribution

  •44 forks in model-checking/cbmc-proof-debugger•1111 stars in model-checking/cbmc-proof-debugger•22 issues in model-checking/cbmc-proof-debugger•11 pull request in model-checking/cbmc-proof-debugger•Updated Nov 3, 2026Nov 3, 2026

• kani-verifier-blog

  Public
  HTML

  •

  MIT No Attribution

  •1717 forks in model-checking/kani-verifier-blog•77 stars in model-checking/kani-verifier-blog•11 issue in model-checking/kani-verifier-blog•22 pull requests in model-checking/kani-verifier-blog•Updated Nov 2, 2026Nov 2, 2026

• kani-github-action

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

  Python

  •

  Apache License 2.0

  •1515 forks in model-checking/kani-github-action•1414 stars in model-checking/kani-github-action•44 issues in model-checking/kani-github-action•00 pull requests in model-checking/kani-github-action•Updated Sep 20, 2026Sep 20, 2026

• 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

  •

  Apache License 2.0

  •1212 forks in model-checking/cbmc-viewer•4141 stars in model-checking/cbmc-viewer•1414 issues in model-checking/cbmc-viewer•00 pull requests in model-checking/cbmc-viewer•Updated Sep 1, 2026Sep 1, 2026

• cbmc-starter-kit

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

  model-checkingsoftware-verificationansi-c

  model-checkingsoftware-verificationansi-c

  Python

  •

  MIT No Attribution

  •2323 forks in model-checking/cbmc-starter-kit•5757 stars in model-checking/cbmc-starter-kit•3535 issues in model-checking/cbmc-starter-kit•33 pull requests in model-checking/cbmc-starter-kit•Updated Jul 1, 2026Jul 1, 2026

• .github

  Public
  506506 forks in model-checking/.github•00 stars in model-checking/.github•00 issues in model-checking/.github•00 pull requests in model-checking/.github•Updated Oct 15, 2024Oct 15, 2024

• rust-lean-models

  Public
  Lean models of Rust libraries

  Lean

  •

  Apache License 2.0

  •99 forks in model-checking/rust-lean-models•3939 stars in model-checking/rust-lean-models•00 issues in model-checking/rust-lean-models•00 pull requests in model-checking/rust-lean-models•Updated Sep 4, 2024Sep 4, 2024

• cbmc-training

  Public
  CBMC training material and documentation

  Other

  •55 forks in model-checking/cbmc-training•1010 stars in model-checking/cbmc-training•22 issues in model-checking/cbmc-training•11 pull request in model-checking/cbmc-training•Updated Aug 25, 2022Aug 25, 2022