model-checking / kani

git clone https://github.com/model-checking/kani.git

A model checker for Rust programs.

stars, 24h · #6,823

+~14

stars, 7 days · #7,498

+~60

stars, 30 days · #9,279

3.6k

★ total · +0% this week

190

forks · 545 open issues

2026-10-20 · 3,563 ★ 2026-10-21 · 3,565 ★

LanguageRust

LicenseApache-2.0

Created2021-03-26 (5y ago)

Last pushtoday

OwnerOrganization