Hi,
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?
Thanks
Rachel