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

#formalmethods #visualization