我是新TLA+
用户。我读到该TLA
工具箱允许我们在模型检查完成后可视化状态图。
为此,我需要安装 dot 。但我不知道如何启动可视化。我可以使用 GUI 购买还是需要使用专用命令行?
谢谢
我是新TLA+
用户。我读到该TLA
工具箱允许我们在模型检查完成后可视化状态图。
为此,我需要安装 dot 。但我不知道如何启动可视化。我可以使用 GUI 购买还是需要使用专用命令行?
谢谢
要可视化状态图,您需要:
TLA+ Toolbox
为指向dot
本地计算机上可执行文件的位置:首选项 → TLA+ 首选项 → PDF 查看器 → 指定点命令。(在我的机器上,我用自制软件安装了graphviz,我的命令是/usr/local/bin/dot
)。当你运行你的模型时,会有一个State Graph
带有状态图的 Graphviz 可视化的选项卡。