GeezerVison

GeezerVison is showing github.com — model-checking

Popular repositories Loading

kani kani Public

A model checker for Rust programs.

Rust 3.7k 195
verify-rust-std verify-rust-std Public

Forked from rust-lang/rust

Verifying the Rust standard library

Rust 370 89
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
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 41 12
rust-lean-models rust-lean-models Public

Lean models of Rust libraries

Lean 39 10
kani-vscode-extension kani-vscode-extension Public

Kani VSCode Extension

TypeScript 23 13

Repositories

Type

All Public Sources Forks Archived Mirrors Templates

Language

All HTML Lean Python Rust TypeScript

Sort

Last updated Name Stars

Showing 10 of 11 repositories

kani-vscode-extension Public
Kani VSCode Extension

model-checking/kani-vscode-extension's past year of commit activity

TypeScript 23 Apache-2.0 13 17 6 Updated Nov 10, 2026
cbmc-proof-debugger Public
The CBMC proof debugger is a Visual Studio Code extension contributing a trace debugger for findings by CBMC.

model-checking/cbmc-proof-debugger's past year of commit activity

TypeScript 11 MIT-0 4 2 1 Updated Nov 10, 2026
kani Public
A model checker for Rust programs.

model-checking/kani's past year of commit activity

Rust 3,670 Apache-2.0 195 485 48 Updated Nov 10, 2026
verify-rust-std Public Forked from rust-lang/rust
Verifying the Rust standard library

model-checking/verify-rust-std's past year of commit activity

Rust 370 22,088 48 59 Updated Nov 9, 2026
kani-verifier-blog Public

model-checking/kani-verifier-blog's past year of commit activity

HTML 7 MIT-0 17 1 2 Updated Nov 2, 2026
kani-github-action Public
This repository provides a GitHub Action for running the Kani Rust Verifier in CI.

model-checking/kani-github-action's past year of commit activity

Python 14 Apache-2.0 15 4 0 Updated Sep 20, 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.

model-checking/cbmc-viewer's past year of commit activity

Python 41 Apache-2.0 12 14 0 Updated Sep 1, 2026
cbmc-starter-kit Public
The CBMC starter kit makes it easy to add CBMC verification to a software project.

model-checking/cbmc-starter-kit's past year of commit activity

Python 57 MIT-0 23 35 (1 issue needs help) 3 Updated Jul 1, 2026
.github Public Forked from amzn/.github

model-checking/.github's past year of commit activity

0 566 0 0 Updated Oct 15, 2024
rust-lean-models Public
Lean models of Rust libraries

model-checking/rust-lean-models's past year of commit activity

Lean 39 Apache-2.0 10 0 0 Updated Sep 4, 2024

View all repositories

People

Top languages

Python Rust TypeScript HTML Lean

Most used topics

Loading…

Uh oh!

There was an error while loading. Please reload this page.