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

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

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