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

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

> 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