News for hackers. Stuff that matters.

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

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 ]

There are no comments on this comment yet.