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

How to visualize the state graph?


I a new TLA+ user. I read that the TLA toolbox allows us to visualize the state graph after completion of model-checking.

In order to do so dot needs to be installed which I did. But I didn't figure out how to launch the visualization. Can I do it buy using the GUI or do I need to use a dedicated command line?