1

我在ProB中可视化大量代码时遇到问题。此图显示了带有（使用 Graphviz dotty）ProB 的服务器的登录部分，但没有解决大量代码获取该图的解决方案。请让我知道您的建议和想法，显示当前状态的 ProB 屏幕截图

状态空间可视化

4

0 回答 0