所有者 · tlaplus

tlaplus

tlaplus 收录中的开源项目，按星标数排序。

共 2 个项目

#1
tlaplus ↗@tlaplusJava
TLC 是一个用于 TLA+ 规范的模型检查器。TLA+Toolbox 是 TLA+ 的 IDE。
★ 3,026+0近 7 天星标变化
#2
Examples ↗@tlaplusTLA
不同复杂度的 TLA⁺ 规格说明集合
★ 1,564+0近 7 天星标变化