kani:基于 Rust 的模型检查工具项目

Star0
0
代码
代码
Issues
Pull Requests
项目讨论
Wiki
分析
Star0
0

Kani Rust Verifier

分支11Tags68

项目介绍

卡尼 Rust 验证器【此简介由AI生成】

Apache-2.0 Rust2.52 K提交数model-checkingrustverification
定制我的领域
README
223.34 K167访问 GitHub