undefined | Better HN

0 pointskoolala1y ago0 comments

Sounds similar to UML: Unified Modeling Language diagrams.

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

0 comments

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

j / k navigate · click thread line to collapse

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

j / k navigate · click thread line to collapse