EN
~/home / GitHub
GitHub · Rust

verus-lang/verus

Rust语言的可验证编程系统，用于编写经过形式化验证的低级系统代码，提升安全性和可靠性，适用于关键系统开发
⭐2.8k7/天
为什么值得关注

将形式化验证引入Rust生态，显著降低系统级代码的漏洞风险，推动可信软件发展

安全Rust形式化验证系统编程
访问 GitHub 页面 →
分享到 X
手机端点「分享」直达微信/朋友圈/小红书;桌面端用「复制文案」后到 App 内粘贴发布

同类产品

block/buzzogulcancelik/herdrjunhoyeo/tokscaleruvnet/RuViewPumpkin-MC/Pumpkinopenai/codex