Skip to content
@model-checking

model-checking

Popular repositories Loading

  1. kani kani Public

    Kani Rust Verifier

    Rust 2.7k 129

  2. verify-rust-std verify-rust-std Public

    Forked from rust-lang/rust

    Verifying the Rust standard library

    Rust 300 58

  3. cbmc-starter-kit cbmc-starter-kit Public

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

    Python 47 25

  4. 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 32 14

  5. rust-lean-models rust-lean-models Public

    Lean models of Rust libraries

    Lean 22 8

  6. kani-vscode-extension kani-vscode-extension Public

    Kani VSCode Extension

    TypeScript 18 13

Repositories

Showing 10 of 11 repositories
  • kani Public

    Kani Rust Verifier

    model-checking/kani’s past year of commit activity
    Rust 2,730 Apache-2.0 129 469 16 Updated Oct 27, 2025
  • verify-rust-std Public Forked from rust-lang/rust

    Verifying the Rust standard library

    model-checking/verify-rust-std’s past year of commit activity
    Rust 300 14,566 27 15 Updated Oct 26, 2025
  • cbmc-starter-kit Public

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

    model-checking/cbmc-starter-kit’s past year of commit activity
    Python 47 MIT-0 25 34 (1 issue needs help) 2 Updated Oct 2, 2025
  • 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.

    model-checking/cbmc-viewer’s past year of commit activity
    Python 32 Apache-2.0 14 13 2 Updated Oct 2, 2025
  • cbmc-proof-debugger Public

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

    model-checking/cbmc-proof-debugger’s past year of commit activity
    TypeScript 8 MIT-0 3 2 1 Updated Sep 29, 2025
  • kani-verifier-blog Public
    model-checking/kani-verifier-blog’s past year of commit activity
    Gnuplot 7 MIT-0 15 1 0 Updated Sep 25, 2025
  • kani-github-action Public

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

    model-checking/kani-github-action’s past year of commit activity
    Python 11 Apache-2.0 14 6 0 Updated May 13, 2025
  • kani-vscode-extension Public

    Kani VSCode Extension

    model-checking/kani-vscode-extension’s past year of commit activity
    TypeScript 18 Apache-2.0 13 17 8 Updated May 12, 2025
  • .github Public Forked from amzn/.github
    model-checking/.github’s past year of commit activity
    0 468 0 0 Updated Oct 15, 2024
  • rust-lean-models Public

    Lean models of Rust libraries

    model-checking/rust-lean-models’s past year of commit activity
    Lean 22 Apache-2.0 8 0 0 Updated Sep 4, 2024
View all repositories

Most used topics

Loading…