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

[fl <freder...@xxxxxxxxxxx>]

> Do not expect the graph to scale beyond a few states though (I have
> never tried it on more the 100 states).

 

There is a demand obviously and if you can give use a TLAPLUS specification

of your algorithm we can try to implement it using other tools using graphviz or another

tool.

 

--

FL