Hi Amira,
You may also want to have a look at our tool ProB. It was initially developed for the B-Method but now you can also animate and model check (certain) TLA+ specifications.
Best regards, Michael Leuschel Hello Stephan, Thank you for your response.
Best Regards, Amira Le jeudi 7 février 2013 16:56:34 UTC+1, Stephan Merz a écrit : 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, 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
--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@xxxxxxxxxxxxxxxx.
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
Visit this group at http://groups.google.com/group/tlaplus?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
|