News for hackers. Stuff that matters.

A comment on Checking statistical properties of protocols using TLA+.

Re:Checking statistical properties of protocols using TLA+ by physicsgraph on Thursday October 06, 2022 @03:27PM (#33112823)
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

[ Parent | on HN ]
Re:Checking statistical properties of protocols using TLA+ by FigmentEngine on Thursday October 06, 2022 @04:50PM (#33113919)
https://www.hillelwayne.com/post/learntla/
[ Parent | on HN ]
Re:Checking statistical properties of protocols using TLA+ by threatofrain on Thursday October 06, 2022 @04:51PM (#33113930)
Original Leslie Lamport lectures.

https://www.youtube.com/watch?v=p54W-XOIEF8&list=PLWAv2Etpa7...

[ Parent | on HN ]
Re:Checking statistical properties of protocols using TLA+ by dwohnitmok on Thursday October 06, 2022 @05:39PM (#33114450)
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.

[ Parent | on HN ]
Re:Checking statistical properties of protocols using TLA+ by mbrodersen on Saturday October 08, 2022 @11:39AM (#33133202)
I recommend learning Dafny instead of TLA+. It gives you all of the same reasoning power, with the added advantage that you can run your proven code in production.
[ Parent | on HN ]