tlaplus/tlaplus

TLC 是一个用于 TLA+ 规范的模型检查器。TLA+Toolbox 是 TLA+ 的 IDE。

↗ 在 GitHub 打开

星数

3,026

Fork 数

263

语言

Java

许可

MIT

最后推送

5天前

Java java verification model-checking tla algorithms high-performance mit-license specifications

还没有相关情报

radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。