Skip to content

@model-checking model-checking

Change the repository type filter

All

    Repositories list

    11 repositories

    • verify-rust-std

      Public
      Verifying the Rust standard library
      Rust
      •
      Other
      •15k•337•32•41•Updated May 3, 2026May 3, 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
      •13•35•14•1•Updated May 1, 2026May 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
      •24•51•35•2•Updated May 1, 2026May 1, 2026

    • kani

      Public
      Kani Rust Verifier
      rustverificationmodel-checking
      rustverificationmodel-checking
      Rust
      •
      Apache License 2.0
      •144•3.1k•447•24•Updated Apr 28, 2026Apr 28, 2026

    • kani-vscode-extension

      Public
      Kani VSCode Extension
      TypeScript
      •
      Apache License 2.0
      •12•19•17•0•Updated Apr 28, 2026Apr 28, 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
      •3•9•2•0•Updated Apr 27, 2026Apr 27, 2026

    • kani-verifier-blog

      Public
      Gnuplot
      •
      MIT No Attribution
      •15•7•1•1•Updated Apr 8, 2026Apr 8, 2026

    • kani-github-action

      Public
      This repository provides a GitHub Action for running the Kani Rust Verifier in CI.
      Python
      •
      Apache License 2.0
      •14•13•6•0•Updated May 13, 2025May 13, 2025

    • .github

      Public
      449•0•0•0•Updated Oct 15, 2024Oct 15, 2024

    • rust-lean-models

      Public
      Lean models of Rust libraries
      Lean
      •
      Apache License 2.0
      •8•33•0•0•Updated Sep 4, 2024Sep 4, 2024

    • cbmc-training

      Public
      CBMC training material and documentation
      Other
      •5•7•2•1•Updated Aug 25, 2022Aug 25, 2022
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.