[HN Gopher] Tlsd: Generate (message) sequence diagrams from TLA+...
       ___________________________________________________________________
        
       Tlsd: Generate (message) sequence diagrams from TLA+ state traces
        
       Author : todsacerdoti
       Score  : 17 points
       Date   : 2024-07-15 16:33 UTC (6 hours ago)
        
 (HTM) web link (github.com)
 (TXT) w3m dump (github.com)
        
       | sterlind wrote:
       | this looks pretty sweet. tla+ looks scary and mathy at first, but
       | it's really a pretty simple concept: define some state machines,
       | explore the state space, see if you run into trouble. with this
       | you get a nice classic sequence diagram to show how things went
       | down.
        
       ___________________________________________________________________
       (page generated 2024-07-15 23:00 UTC)