3 ms·
Sounds similar to UML: Unified Modeling Language diagrams. I wonder if TLA+ could convert to diagrams instead of Math notation.
by koolala 2y ago
Sounds similar to UML: Unified Modeling Language diagrams.
I wonder if TLA+ could convert to diagrams instead of Math notation.
- hackermeows 2y agoyou are way off. These is a tool to simulate and validate systems and expose edge/race conditions of that system.