verus:基于 Rust 的代码正确性验证工具项目

Star0

Star0

Verified Rust for low-level systems code

分支184 Tags766

项目介绍

确保安全的Rust语言，适用于底层系统代码开发【此简介由AI生成】

MIT Rust 4.59 K提交数

定制我的领域

322.89 K209访问 GitHub