model-checking/kani

A model checker for Rust programs.

语言：Rust · GitHub 星标：3,632 · Fork：194

话题：model-checking · rust · verification

在 GitHub 上查看原仓库