Get the latest tech news
Tlsd: Generate (message) sequence diagrams from TLA+ state traces
Generate (message) sequence diagrams from TLA+ state traces - eras/tlsd
TLA+ (Temporal Logic of Actions+) is a way to describe the behavior of an algorithm or a system at a high, yet in a very mathematically precise manner. This tool aims to help analyzing certain kind of systems: the ones that are composed of individual nodes exchanging messages with each other. The tool doesn't try to avoid overlapping labels or lines with other objects yet, but this is also something I'm planning to implement at some point.
Or read this on Hacker News
