Skip to content

@model-checking model-checking

Change the repository type filter

All

    Repositories list

    11 repositories

    • kani-vscode-extension

      Public
      Kani VSCode Extension
      TypeScript
      •
      Apache License 2.0
      •12•19•17•1•Updated Apr 21, 2026Apr 21, 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 20, 2026Apr 20, 2026

    • kani

      Public
      Kani Rust Verifier
      rustverificationmodel-checking
      rustverificationmodel-checking
      Rust
      •
      Apache License 2.0
      •143•3k•447•28•Updated Apr 20, 2026Apr 20, 2026

    • verify-rust-std

      Public
      Verifying the Rust standard library
      Rust
      •
      Other
      •15k•336•30•35•Updated Apr 19, 2026Apr 19, 2026

    • kani-verifier-blog

      Public
      Gnuplot
      •
      MIT No Attribution
      •15•7•1•1•Updated Apr 8, 2026Apr 8, 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•1•Updated Mar 1, 2026Mar 1, 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•0•Updated Mar 1, 2026Mar 1, 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•30•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.