[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Displaying graphs on TLA Toolbox

Dear Amira,

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.

Best regards,

On Thursday, February 7, 2013 4:50:53 PM UTC+1, Amira Methni wrote:
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)