deductive-reasoning

Creusot 协助你证明你的 Rust 代码是正确的。

适用于 Rust 程序的验证工具链

CreuSAT - 一个以 Rust 编写并使用 Creusot 进行形式化验证的 SAT 求解器。