主題 · formal-methods

formal-methods

標記 formal-methods 主題、收錄中的開源專案，依星數排序。

專案數

10

總星數

21,663

平均星數

2,166

佔比

0.00%

常跟 formal-methods 一起出現在同一個專案上的主題。

近期新秀

近 90 天內建立、標記 formal-methods 主題的專案。

近 90 天內還沒有新專案標記這個主題。

#1
sled ↗@spacejamRust
Beta 嵌入式資料庫的香檳
★ 9,080+1近 7 天星數變化
#2
P ↗@p-orgC#
The P programming language
★ 3,673+5近 7 天星數變化
#3
hacl-star ↗@hacl-starF*
HACL*，以 F* 編寫的形式化驗證密碼學函式庫
★ 1,836-1近 7 天星數變化
#4
creusot ↗@creusot-rsRust
Creusot 協助你證明你的 Rust 程式碼是正確的。
★ 1,836+3近 7 天星數變化
#5
quint ↗@quint-coTypeScript
基於動作時序邏輯（TLA）且具備優秀工具鏈的可執行規格語言
★ 1,654+16近 7 天星數變化
#6
aeneas ↗@AeneasVerifOCaml
適用於 Rust 程式的驗證工具鏈
★ 946+8近 7 天星數變化
#7
magmide ↗@magmideRocq Prover
一種依賴型別證明語言，旨在讓軟體工程師能夠編寫可證明正確的裸機程式碼。
★ 835+0近 7 天星數變化
#8
CreuSAT ↗@sarskoRust
CreuSAT - 一個以 Rust 編寫並使用 Creusot 進行形式化驗證的 SAT 求解器。
★ 698+1近 7 天星數變化
#9
practical-fm ↗@ligurio
一份精心整理在業界使用形式化驗證方法的公司清單
★ 610+0近 7 天星數變化
#10
VST ↗@PrincetonUniversityRocq Prover
驗證軟體工具鏈 (Verified Software Toolchain)。
★ 508+1近 7 天星數變化

← 返回主題列表