Kani:Rust 的模型检查器
Kani: A Model Checker for Rust

原始链接: https://arxiv.org/abs/2607.01504

arXivLabs 是一个允许合作者直接在我们的网站上开发并分享新功能的框架。与 arXivLabs 合作的个人和组织都认同并接受我们对开放、社区、卓越和用户数据隐私的重视。arXiv 致力于坚守这些价值观,并仅与遵守这些准则的合作伙伴共事。您有能够为 arXiv 社区增值的项目构想吗?了解更多关于 arXivLabs 的信息。

``` Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Kani:一个 Rust 模型检查器 (arxiv.org) 13 点 | Jimmc414 | 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索: ```
相关文章

原文

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.

联系我们 contact @ memedata.com