トピック · proof

proof

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

リポジトリ

8

総スター数

7,070

平均スター数

884

シェア

0.00%

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

最近の急上昇

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

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

#1
creusot ↗@creusot-rsRust
Rust コードの正当性証明を支援する Creusot
★ 1,834+4直近 7 日のスター増減
#2
rocq-of-rust ↗@formal-landRocq Prover
Rust向け形式検証ツール：プログラムの実行ケースを100%チェックし、より安全なアプリケーションを作成します。
★ 1,161+3直近 7 日のスター増減
#3
cryptominisat ↗@msoosC++
高度な SAT ソルバー
★ 940+1直近 7 日のスター増減
#4
CreuSAT ↗@sarskoRust
CreuSAT - Rust で書かれ、Creusot で検証された形式手法による検証済み SAT ソルバー
★ 696+5直近 7 日のスター増減
#5
agda-stdlib ↗@agdaAgda
Agda標準ライブラリ
★ 675+0直近 7 日のスター増減
#6
l4v ↗@seL4Isabelle
seL4の仕様と証明
★ 633+3直近 7 日のスター増減
#7
verdi ↗@uwplseRocq Prover
Coqで分散システムの実装を形式検証するためのフレームワーク
★ 625+0直近 7 日のスター増減
#8
VST ↗@PrincetonUniversityRocq Prover
検証済みソフトウェアツールチェーン
★ 507+0直近 7 日のスター増減

← トピック一覧に戻る