Proving Liveness with TLA

14 points | by ibobev 2 hours ago