model-checking / kani

一种用于检查 Rust 程序的模型检查器。

仓库 Star

3,647总榜 #17,012

Fork

194

最近推送

3 天前更新

仓库创建

2021 年创建