トピック · formal-verification

formal-verification

formal-verification がタグ付けされた追跡中のオープンソースリポジトリを、スター数順に表示します。

リポジトリ

総スター数

16,360

平均スター数

1,258

0.00%

formal-verification と同じリポジトリに頻繁に登場するトピック。

最近の急上昇

直近 90 日以内に作成され、formal-verification がタグ付けされたリポジトリ。

直近 90 日以内に、このトピックがタグ付けされた新しいリポジトリはありません。

#1
P ↗@p-orgC#
Pプログラミング言語。
★ 3,673+3直近 7 日のスター増減
#2
hacl-star ↗@hacl-starF*
F*で記述された、形式手法で検証済みの暗号ライブラリ「HACL*」
★ 1,836+0直近 7 日のスター増減
#3
creusot ↗@creusot-rsRust
Rust コードの正当性証明を支援する Creusot
★ 1,836+2直近 7 日のスター増減
#4
prusti-dev ↗@viperprojectRust
Viper 検証基盤に基づいた Rust 向け静的検証ツール
★ 1,809+2直近 7 日のスター増減
#5
cakeml ↗@CakeMLStandard ML
CakeML: ML の検証済み実装
★ 1,190+2直近 7 日のスター増減
#6
rocq-of-rust ↗@formal-landRocq Prover
Rust向け形式検証ツール：プログラムの実行ケースを100%チェックし、より安全なアプリケーションを作成します。
★ 1,161+0直近 7 日のスター増減
#7
aeneas ↗@AeneasVerifOCaml
Rust プログラム向けの検証ツールチェーン
★ 949+20直近 7 日のスター増減
#8
magmide ↗@magmideRocq Prover
実践的なソフトウェアエンジニアが検証済みで安全なベアメタルコードを作成できるように設計された、依存型証明言語。
★ 835+0直近 7 日のスター増減
#9
CreuSAT ↗@sarskoRust
CreuSAT - Rust で書かれ、Creusot で検証された形式手法による検証済み SAT ソルバー
★ 698+2直近 7 日のスター増減
#10
emilia-protocol ↗@emiliaprotocolTypeScript
機械アクション向けのコンセテクエンスファイアウォール。EMILIA Gate は、資金、コード、権限、インフラ、規制された状態の変更の前に正確な権限を検証します。オープンプロトコルにより、その証拠を独立して検証可能です。
★ 650-28直近 7 日のスター増減
#11
awesome-open-hardware-verification ↗@ben-marshall
無料かつオープンソースのハードウェア検証ツールおよびフレームワークのリスト
★ 622+1直近 7 日のスター増減
#12
practical-fm ↗@ligurio
業界で形式検証手法を使用している企業の厳選リスト
★ 610+1直近 7 日のスター増減
#13
VST ↗@PrincetonUniversityRocq Prover
検証済みソフトウェアツールチェーン
★ 508+1直近 7 日のスター増減

← トピック一覧に戻る

関連トピック

最近の急上昇