主题 · 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+0近 7 天星标变化
#36
apalache ↗@apalache-mcScala
APALACHE：用于 TLA+ 与 Quint 的符号式模型检查器
★ 596+1近 7 天星标变化
#37
stp ↗@stpC++
Simple Theorem Prover，一款针对位元向量、浮点数与数组的高效 SMT 求解器。
★ 588+0近 7 天星标变化
#38
witness ↗@in-totoGo
Witness 是一个用于软件供应链风险管理的插件式框架。它能自动化、标准化并验证软件产物的来源。
★ 545+0近 7 天星标变化
#39
karamel ↗@FStarLangOCaml
KaRaMeL 是一款将底层 F* 程序转换为可读 C 代码的工具
★ 518+0近 7 天星标变化
#40
VST ↗@PrincetonUniversityRocq Prover
验证软件工具链 (Verified Software Toolchain)。
★ 508+0近 7 天星标变化