我是新TLA+用户。我读到TLA工具箱允许我们在完成模型检查后可视化状态图。
TLA+
TLA
为此，需要安装 dot，我就是这样做的。但我没有弄清楚如何启动可视化。我可以使用 GUI 购买还是需要使用专用命令行？
谢谢
visualization graph tla+ tlc
graph ×1
tla+ ×1
tlc ×1
visualization ×1