tlsd: Generate (message) sequence diagrams from TLA+ state traces (via hwayne) — discussion
#formalmethods #visualization
