model-checking/kani

Kani Rust Verifier

⭐ 3.3k ⑂ 165 Rust Apache-2.0 · 1 天前推送

https://model-checking.github.io/kani

model-checking rust verification

3.3k

Watchers

0

贡献者

0

Commits

0

Releases

488

Open Issues

1 天前

最近推送

📦 版本动态

kani-0.67.0 2026-01-16

kani-0.66.0 2025-11-06

kani-0.65.0 2025-08-07

kani-0.64.0 2025-07-03

kani-0.63.0 2025-06-10

原文中文

暂无 README