verus-lang / verusGitHub実行時チェックを追加する代わりに、あらゆる実行を対象に仕様を検証するRustコード向けの形式検証ツール。開発ツール#formal-verification#rust#specification#static-analysis#systems-programming3374239RustMIT更新 6 時間前