TLA+ Graph Explorer

188 views

Skip to first unread message

Afonso Fernandes

unread,

Apr 7, 2021, 1:35:06 PM4/7/21

to tlaplus

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,
Afonso

Isaac DeFrain

unread,

Apr 7, 2021, 3:14:10 PM4/7/21

to tla...@googlegroups.com

Hey Afonso,

Ona brief inspection, this looks super cool! I’ll take a closer look soon. Thank you for developing this and sharing!

Best,

Isaac

--
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+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/b8559a50-9974-49d3-b83b-a524aa3f4ec4n%40googlegroups.com.