トピック · formal-methods

formal-methods

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

リポジトリ

10

総スター数

21,663

平均スター数

2,166

シェア

0.00%

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

最近の急上昇

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

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

#1
sled ↗@spacejamRust
ベータ版組み込みデータベースのシャンパン
★ 9,080+1直近 7 日のスター増減
#2
P ↗@p-orgC#
Pプログラミング言語。
★ 3,673+3直近 7 日のスター増減
#3
hacl-star ↗@hacl-starF*
F*で記述された、形式手法で検証済みの暗号ライブラリ「HACL*」
★ 1,836+0直近 7 日のスター増減
#4
creusot ↗@creusot-rsRust
Rust コードの正当性証明を支援する Creusot
★ 1,836+2直近 7 日のスター増減
#5
quint ↗@quint-coTypeScript
TLA（Temporal Logic of Actions）に基づいた、優れたツール群を備える実行可能な仕様記述言語
★ 1,654+12直近 7 日のスター増減
#6
aeneas ↗@AeneasVerifOCaml
Rust プログラム向けの検証ツールチェーン
★ 948+19直近 7 日のスター増減
#7
magmide ↗@magmideRocq Prover
実践的なソフトウェアエンジニアが検証済みで安全なベアメタルコードを作成できるように設計された、依存型証明言語。
★ 835+0直近 7 日のスター増減
#8
CreuSAT ↗@sarskoRust
CreuSAT - Rust で書かれ、Creusot で検証された形式手法による検証済み SAT ソルバー
★ 698+2直近 7 日のスター増減
#9
practical-fm ↗@ligurio
業界で形式検証手法を使用している企業の厳選リスト
★ 610+1直近 7 日のスター増減
#10
VST ↗@PrincetonUniversityRocq Prover
検証済みソフトウェアツールチェーン
★ 508+1直近 7 日のスター増減

← トピック一覧に戻る