擁有者 · tlaplus

tlaplus

tlaplus 收錄中的開源專案，依星數排序。

共 2 個專案

#1
tlaplus ↗@tlaplusJava
TLC 是一個用於 TLA+ 規格的模型檢查器。TLA+Toolbox 是 TLA+ 的 IDE。
★ 3,026+8近 7 天星數變化
#2
Examples ↗@tlaplusTLA
不同複雜度的 TLA⁺ 規格書集合
★ 1,564+6近 7 天星數變化