formal-methods - Pro-B で大量のコードを視覚化する方法

Question

ProBで多数のコードを視覚化する際に問題があります。このグラフは、ProB の (Graphviz の dotty を使用して) サーバーのログイン セクションを示していますが、グラフを取得するための多数のコードに対する解決策はありません。あなたの提案やアイデアを教えてください。