protocol-design

無法對分散式protocol做單元測試，但可以做模型檢驗

分散式缺陷在部署後修復成本高昂。模型檢驗能讓你在寫下第一行實作程式碼之前就發現它們。以下是如何使用 TLA+ 做到這一點。