主题 · 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+3近 7 天星标变化
#3
hacl-star ↗@hacl-starF*
HACL*，以 F* 编写的形式化验证密码学库
★ 1,836+0近 7 天星标变化
#4
creusot ↗@creusot-rsRust
Creusot 协助你证明你的 Rust 代码是正确的。
★ 1,836+2近 7 天星标变化
#5
quint ↗@quint-coTypeScript
基于动作时序逻辑（TLA）且具备优秀工具链的可执行规格语言
★ 1,654+12近 7 天星标变化
#6
aeneas ↗@AeneasVerifOCaml
适用于 Rust 程序的验证工具链
★ 949+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
验证软件工具链 (Verified Software Toolchain)。
★ 508+1近 7 天星标变化

← 返回主题列表