[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?



On Sunday, December 13, 2015 at 7:52:12 PM UTC+2, Leslie Lamport wrote:
> I have finally put a list of all TLC command-line options on the current TLA+ web site at:
> 
> 
>      http://research.microsoft.com/en-us/um/people/lamport/tla/tlc-options.html
> 
> 
> 
> That page is reachable through a link on the TLC page, which is reachable by a link on the TLA+ Tools page.  You will find there a -dump option that writes all the states that TLC finds to a file.  
> 
> 
> Leslie
> 
> On Sunday, December 13, 2015 at 6:35:12 AM UTC-8, ... 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

Dear Leslie Lamport 
Thank you for your Reply, I will try that on the model
sawsan