主題 · verification

verification

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

共 40 個專案

#31
ed25519-dalek ↗@dalek-cryptography
已封存／已移動：請造訪新位置
★ 704+0近 7 天星數變化
#32
CreuSAT ↗@sarskoRust
CreuSAT - 一個以 Rust 編寫並使用 Creusot 進行形式化驗證的 SAT 求解器。
★ 698+2近 7 天星數變化
#33
Cosette ↗@uwdbLean
Cosette 是一個自動化 SQL 求解器。
★ 686+0近 7 天星數變化
#34
pysmt ↗@pysmtPython
pySMT：用於 SMT 公式處理與求解的程式庫
★ 638+0近 7 天星數變化
#35
awesome-open-hardware-verification ↗@ben-marshall
免費與開源硬體驗證工具及框架列表
★ 622+1近 7 天星數變化
#36
apalache ↗@apalache-mcScala
APALACHE：用於 TLA+ 與 Quint 的符號式模型檢查器
★ 596+3近 7 天星數變化
#37
stp ↗@stpC++
Simple Theorem Prover，一款針對位元向量、浮點數與陣列的高效 SMT 求解器。
★ 588+1近 7 天星數變化
#38
witness ↗@in-totoGo
Witness 是一個用於軟體供應鏈風險管理的插件式框架。它能自動化、標準化並驗證軟體產物的來源。
★ 546+0近 7 天星數變化
#39
karamel ↗@FStarLangOCaml
KaRaMeL 是一款將底層 F* 程式轉換為可讀 C 程式碼的工具
★ 518+0近 7 天星數變化
#40
VST ↗@PrincetonUniversityRocq Prover
驗證軟體工具鏈 (Verified Software Toolchain)。
★ 508+1近 7 天星數變化