Verus 用于验证 Rust 代码正确性的工具

Verus 是一款用于验证 Rust 代码正确性的工具。开发者编写代码功能规范，Verus 会静态检查可执行的 Rust 代码是否始终满足所有可能执行场景下的规范。 Verus 并非添加运行时检...