Hacker GitHub

← All repos

model-checking/kani

View on GitHub ↗ ★ 3,628 Rust

A model checker for Rust programs.

18 mentions on Hacker News by 15 people: 2 stories, 16 comments · first 2022-03-26 · latest 2026-09-17

Mentions per year 18 mentions · busiest year 2024 (6)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 3
    Kani Rust Verifier
    story by lwhsiao · 2026-09-15 · 0 comments
  2. ▲ 1
    Kani: A bit-precise model checker for Rust
    story by nequo · 2024-06-14 · 0 comments