主題 · 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+3近 7 天星數變化
#6
BlockingQueue ↗@lemmyTLA
教學「數週的除錯可以為你節省數小時的 TLA+」。每個 git commit 都引入了一個新概念 => 檢查 git 歷史記錄！
★ 506+0近 7 天星數變化

← 返回主題列表