kani-verifier - 使用Kani模型检查器进行Rust形式化验证rust形式化验证模型检查内存安全★ 602 · 更新于 2026-03-20针对Rust的位精确模型检查器，全面验证包括内存安全和未定义行为在内的代码属性。⚙ 验证Rust代码⚙ 检查内存安全⚙ 检测未定义行为
performance-benchmark - 为MEMORY_P创建和运行Criterion基准测试进行性能测量rust基准测试性能criterion★ 0 · 更新于 2026-02-14使用Criterion创建性能基准测试以测量和验证MEMORY_P优化⚙ 创建基准测试模板⚙ 执行基准测试⚙ 测量性能
