由于 trendforge.devlive.top 访问受限，请切换到 trendforge.devlive.org 域名

model-checking

话题找到数量

tlaplus/tlaplus

Java

TLC 是一款用于检查 TLA+ 语言所编写规格的模型检查器。TLA+Toolbox 是 TLA+ 的集成开发环境。

algorithms high-performance java
tlaplus
tlaplus 开发者
2.8k
243
445
+24
排名 #13
3月16日
查看详情

apalache-mc/apalache

Scala

APALACHE：TLA+和Quint的符号模型检查器

apalache model-checking quint
apalache-mc
apalache-mc 开发者
578
49
267
排名 #17
6月29日
查看详情
助手