[HN Gopher] Checking statistical properties of protocols using TLA+
       ___________________________________________________________________
        
       Checking statistical properties of protocols using TLA+
        
       Author : ingve
       Score  : 42 points
       Date   : 2022-10-04 08:50 UTC (2 days ago)
        
 (HTM) web link (muratbuffalo.blogspot.com)
 (TXT) w3m dump (muratbuffalo.blogspot.com)
        
       | physicsgraph wrote:
       | This post is well-timed.
       | 
       | I'm aware of many previous posts on HNews and the main
       | documentation [0]. Does anyone have suggestions for getting
       | started from a non-CompSci perspective? I am comfortable with
       | Python but I'm not confident that suffices.
       | 
       | 0: http://lamport.azurewebsites.net/tla/hyperbook.html
        
         | FigmentEngine wrote:
         | https://www.hillelwayne.com/post/learntla/
        
         | threatofrain wrote:
         | Original Leslie Lamport lectures.
         | 
         | https://www.youtube.com/watch?v=p54W-XOIEF8&list=PLWAv2Etpa7...
        
         | dwohnitmok wrote:
         | Lamport's video course is great (it's linked from the
         | hyperbook, but just in case here's the direct link:
         | https://lamport.azurewebsites.net/video/videos.html).
         | 
         | If you've used Python before that's more than enough background
         | to get started, no other CS knowledge required.
        
       ___________________________________________________________________
       (page generated 2022-10-06 23:01 UTC)