Back to developers
All on GitHub
Developer profile
model-checking
@model-checking
About model-checking
We build open-source verification tools that help developers prove their code is correct.
United States of AmericaJoined February 2021
Public repositories
Recently updated work from this developer
model-checking
kani
A model checker for Rust programs.
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
verify-rust-std
Verifying the Rust standard library
model-checking
kani-vscode-extension
Kani VSCode Extension
model-checking
rust-lean-models
Lean models of Rust libraries
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.