verification

アーカイブ済み/移動済み: 新しい場所をご覧ください

CreuSAT - Rust で書かれ、Creusot で検証された形式手法による検証済み SAT ソルバー

Cosette は自動 SQL ソルバーです。

pySMT: SMT 数式の操作および解決のためのライブラリ

無料かつオープンソースのハードウェア検証ツールおよびフレームワークのリスト

APALACHE: TLA+ および Quint 用のシンボリックモデルチェッカー

ビットベクター、浮動小数点数、配列に対応した効率的な SMT ソルバー「Simple Theorem Prover」

ソフトウェアサプライチェーンのリスク管理のためのプラグイン可能なフレームワーク Witness。ソフトウェア成果物の来歴を自動化、正規化、検証します。

KaRaMeL は、低レベルの F* プログラムを読みやすい C コードに変換するツールです

検証済みソフトウェアツールチェーン