Re: [tlaplus] Re: How to read the graph generated by TLC? Is there a way to specify its location?

[Stephan Merz <stepha...@xxxxxxxxx>]

TLC explores the entire graph of reachable states of the instance you give it to verify. If no error is found, the Toolbox displays some quantitative information, including how many states TLC visited and coverage information about the underlying specification. It does not visualize the entire state space, if that's what you mean.

Regards,
Stephan

> On 13 Dec 2015, at 14:25, sawsan8...@xxxxxxxxx wrote:
> 
> Hello 
> I am working on TLA in order to analyze the filters in Dynamic networks, how can I see the states and the results of TLC models checking if there no error trace>
> Second question: I am working on windows not linux, is that  a reason for not finding TLC Trace viewer? cause I dwonloaded the zip file but still I could not find a way to see the results or save it
> Thank you in advance
> 
> -- 
> 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 https://groups.google.com/group/tlaplus.
> For more options, visit https://groups.google.com/d/optout.