Hacker News new | past | comments | ask | show | jobs | submit login
Checking statistical properties of protocols using TLA+ (muratbuffalo.blogspot.com)
62 points by ingve on Oct 6, 2022 | hide | past | favorite | 5 comments



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


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.




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.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: