verus-lang / verusGitHub一款对 Rust 代码进行形式化验证的工具,通过静态证明而非运行时检查来保证代码符合规约。开发者工具#formal-verification#rust#specification#static-analysis#systems-programming3374239RustMIT更新于 7小时前