program-correctness

标签

#program-correctness

使用 Verus 开发可证明正确的 Rust 代码

Hacker News Top ↗ · 2026-09-14 缓存

Verus 是一个开源的自动化程序验证器，专为 Rust 设计，通过数学证明帮助确保代码正确性，并被亚马逊用于像 Nitro Isolation Engine 这样的项目。

0 人收藏 0 人点赞