[koolala]

Sounds similar to UML: Unified Modeling Language diagrams.

I wonder if TLA+ could convert to diagrams instead of Math notation.

[hackermeows]

you are way off. These is a tool to simulate and validate systems and expose edge/race conditions of that system.