Checking statistical properties of protocols using TLA+muratbuffalo.blogspot.com62 pointsingve4 years ago