model-checking

Popular repositories Loading

1. kani kani Public

   Kani Rust Verifier

   Rust 3.5k 177

2. verify-rust-std verify-rust-std Public

   Forked from rust-lang/rust

   Verifying the Rust standard library

   Rust 359 81

3. cbmc-starter-kit cbmc-starter-kit Public

   The CBMC starter kit makes it easy to add CBMC verification to a software project.

   Python 57 23

4. cbmc-viewer 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 40 12

5. rust-lean-models rust-lean-models Public

   Lean models of Rust libraries

   Lean 37 9

6. kani-vscode-extension kani-vscode-extension Public

   Kani VSCode Extension

   TypeScript 23 13