• Checking statistical properties of protocols using TLA+ http://muratbuffalo.blogspot.com/2022/10/checking-statistical-properties-of.html 5 comments 4/10/2022