Pinned Repositories
cbmc-proof-debugger
The CBMC proof debugger is a Visual Studio Code extension contributing a trace debugger for findings by CBMC.
cbmc-starter-kit
The CBMC starter kit makes it easy to add CBMC verification to a software project.
cbmc-training
CBMC training material and documentation
cbmc-viewer
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.
kani
Kani Rust Verifier
kani-github-action
This repository provides a GitHub Action for running the Kani Rust Verifier in CI.
kani-verifier-blog
kani-vscode-extension
Kani VSCode Extension
rust-lean-models
Lean models of Rust libraries
verify-rust-std
Verifying the Rust standard library
model-checking's Repositories
model-checking/kani
Kani Rust Verifier
model-checking/verify-rust-std
Verifying the Rust standard library
model-checking/cbmc-starter-kit
The CBMC starter kit makes it easy to add CBMC verification to a software project.
model-checking/cbmc-viewer
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/kani-vscode-extension
Kani VSCode Extension
model-checking/rust-lean-models
Lean models of Rust libraries
model-checking/kani-github-action
This repository provides a GitHub Action for running the Kani Rust Verifier in CI.
model-checking/cbmc-proof-debugger
The CBMC proof debugger is a Visual Studio Code extension contributing a trace debugger for findings by CBMC.
model-checking/cbmc-training
CBMC training material and documentation
model-checking/kani-verifier-blog
model-checking/.github