Rust.cc · 2023-06-18T15:07:58Z 【Rust日报】2023-06-18 💡 原文中文，约900字，阅读约需3分钟。 📝 内容提要 介绍2023第三届中国Rust开发者大会以及两个开源项目：Mailtutan和Kani。Mailtutan是用于测试和开发环境的SMTP服务器，最新版本添加了多项功能。Kani是一个使用模型检查来分析Rust程序的验证工具，最新版本更新了多项功能。 🏷️ 标签 Kani Mailtutan Rust 开发者大会 模型检查 阅读原文 生成长图 分享链接 已复制链接
