Skip to content
@model-checking

model-checking

Popular repositories Loading

  1. kani kani Public

    Kani Rust Verifier

    Rust 2.1k 85

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

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

    Python 42 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 32 11

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

    Kani VSCode Extension

    TypeScript 14 10

  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. verify-rust-std verify-rust-std Public

    Forked from rust-lang/rust

    Verifying the Rust standard library

    Rust 9 6

Repositories

Showing 10 of 10 repositories
  • kani Public

    Kani Rust Verifier

    model-checking/kani’s past year of commit activity
    Rust 2,054 Apache-2.0 85 515 34 Updated Jul 19, 2024
  • 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 11 14 4 Updated Jul 19, 2024
  • 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 9 12,757 8 3 Updated Jul 18, 2024
  • cbmc-starter-kit Public

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

    model-checking/cbmc-starter-kit’s past year of commit activity
    Python 42 MIT-0 21 33 (1 issue needs help) 0 Updated Jul 5, 2024
  • kani-verifier-blog Public
    model-checking/kani-verifier-blog’s past year of commit activity
    Gnuplot 5 MIT-0 12 1 0 Updated May 16, 2024
  • 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 9 Apache-2.0 14 6 0 Updated Jan 10, 2024
  • kani-vscode-extension Public

    Kani VSCode Extension

    model-checking/kani-vscode-extension’s past year of commit activity
    TypeScript 14 Apache-2.0 10 15 0 Updated Nov 30, 2023
  • 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 7 MIT-0 1 2 0 Updated Mar 23, 2023
  • .github Public Forked from amzn/.github
    model-checking/.github’s past year of commit activity
    0 381 0 0 Updated Mar 8, 2023
  • cbmc-training Public

    CBMC training material and documentation

    model-checking/cbmc-training’s past year of commit activity
    5 5 2 1 Updated Aug 25, 2022

Most used topics

Loading…