【Rust日报】Rust 中的形式验证

Rust语言中文社区 2024-05-25 23:21
文章 - 未来的愿景:Rust 中的形式验证这篇文章回顾了形式化验证的基本概念,作者展示了如何使用 Hoare
推荐阅读