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

[tlaplus] TLA+ Graph Explorer

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.

Take a look into the github project: https://github.com/afonsonf/tlaplus-graph-explorer
Best Regards,


You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/b8559a50-9974-49d3-b83b-a524aa3f4ec4n%40googlegroups.com.