搜索技巧 海洋云增白 开源地图 AI 搜索答案 沙丘魔堡2 压缩机站 自由职业 policy 小团队 颈挂空调 Chumby 个人电脑 极端主义 团队 PostgreSQL AI工具 证券 DirectX DrawingPics 化学 KDE 披萨农场 多动症 植物学 分析化学 Three.js 大会 残疾人学校 初创 QB64 更多

GitHub - verus-lang/verus: 用于低级系统代码的经过验证的 Rust (github.com)

Verus 是一个用于验证 Rust 代码正确性的工具。 开发人员编写代码应该做什么的规范,Verus 会静态地检查可执行的 Rust 代码是否在代码的所有可能执行中始终满足规范。 Verus 没有添加运行时检查,而是依靠强大的求解器来证明代码是正确的。 Verus 目前支持 Rust 的一个子集(我们正在努力扩展),并且在某些情况下,它允许开发人员超越标准的 Rust 类型系统,并静态地检查代码的正确性,例如,操作原始指针。