Hello everyone,
I would like to share a tool I developed to explore TLA+ state graphs.
Just a quick briefing on the features of the tool:
-> Can run in a browser.
-> Interactive exploration of state graphs (dot files).
-> You can personalize the representation of a state.
-> Developed to support big dot files. It does not load the whole file into memory and can parse it by chunks.
The following examples show the tool running with default configuration using the pretty printed version of the state as its representation and the tool running with personalized state representation.
Best Regards,
Afonso