Checking statistical properties of protocols using TLA+ | Heykuki News