主題 · formal-verification

formal-verification

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

專案數

13

總星數

16,360

平均星數

1,258

佔比

0.00%

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

近期新秀

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

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

#1
P ↗@p-orgC#
The P programming language
★ 3,673+3近 7 天星數變化
#2
hacl-star ↗@hacl-starF*
HACL*，以 F* 編寫的形式化驗證密碼學函式庫
★ 1,836+0近 7 天星數變化
#3
creusot ↗@creusot-rsRust
Creusot 協助你證明你的 Rust 程式碼是正確的。
★ 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 程式的驗證工具鏈
★ 955+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
驗證軟體工具鏈 (Verified Software Toolchain)。
★ 508+1近 7 天星數變化

← 返回主題列表