Projects in Awesome Lists by model-checking
A curated list of projects in awesome lists by model-checking .
https://model-checking.github.io/kani/
Kani Rust Verifier
model-checking rust verification
Last synced: 16 Jul 2025
https://github.com/model-checking/kani
Kani Rust Verifier
model-checking rust verification
Last synced: 12 May 2025
https://github.com/model-checking/verify-rust-std
Verifying the Rust standard library
Last synced: 16 Oct 2025
https://github.com/model-checking/kani-vscode-extension
Kani VSCode Extension
Last synced: 24 Jul 2025
https://github.com/model-checking/cbmc-proof-debugger
The CBMC proof debugger is a Visual Studio Code extension contributing a trace debugger for findings by CBMC.
Last synced: 07 Oct 2025