there is no default way for displaying state graphs. For realistic specifications, these become too big to visualize entirely, although it might be useful to navigate around parts of the state space. For some partial answers to your question, check the discussion following a previous question in this group at https://groups.google.com/d/topic/tlaplus/34gmsa-u1-k/discussion.
Stephan
On Thursday, February 7, 2013 4:50:53 PM UTC+1, Amira Methni wrote:
Hi,
I'm new with tla+ and after writing and verifying the specification with TLC, on the TLA toolbox, the graph of states can not be displayed.
Should I install a feature to display graphs (I have also install xdot)Thanks