主题 · model-checking

model-checking

标记 model-checking 主题、收录中的开源项目，按星标数排序。

项目数

6

总星标数

12,342

平均星标数

2,057

占比

0.00%

常跟 model-checking 一起出现在同一个项目上的主题。

近期新秀

近 90 天内创建、标记 model-checking 主题的项目。

近 90 天内还没有新项目标记这个主题。

#1
P ↗@p-orgC#
The P programming language
★ 3,673+3近 7 天星标变化
#2
kani ↗@model-checkingRust
Kani Rust 验证器
★ 3,379+25近 7 天星标变化
#3
tlaplus ↗@tlaplusJava
TLC 是一个用于 TLA+ 规范的模型检查器。TLA+Toolbox 是 TLA+ 的 IDE。
★ 3,026+7近 7 天星标变化
#4
alive2 ↗@AliveToolkitC++
LLVM 优化的自动验证
★ 1,163+2近 7 天星标变化
#5
apalache ↗@apalache-mcScala
APALACHE：用于 TLA+ 与 Quint 的符号式模型检查器
★ 596+2近 7 天星标变化
#6
BlockingQueue ↗@lemmyTLA
教程“数周的调试可以为你节省数小时的 TLA+”。每个 git commit 都引入了一个新概念 => 检查 git 历史记录！
★ 506+0近 7 天星标变化

← 返回主题列表