1.7.4
最新补丁
OpenNavo 编辑 Homebrew 收录 AI 翻译
兼容性非 Apple 芯片原生
修复 TLC 使用多个工作线程进行活性检查时可能出现的不健全问题。
- TLC
- 修复多工作线程活性检查中可能漏报属性违反的问题。
超过 90 天没有新版本，OpenNavo 已暂停推荐和安装；Homebrew 仍在提供此应用。
TLA+ Toolbox 版本记录
面向 TLA+ 工具的 macOS 集成开发环境，支持规格编辑、PlusCal 翻译、TLC 模型检查、错误轨迹探索和证明系统。
来自 homebrew/cask
- 近 30 天安装
- 66
- 近一年安装
- 690
- 365 天累计
- 最新版本
- 1.7.4
- 2024年8月5日 · 2024年8月5日
- 下载大小
- 179MB
- arm64 / x86_64 · zip
- 更新节奏
- 不定期
- 近 30 天 0 个版本