土法炼钢 · 系统与基础设施

【分布式系统百科】形式化验证：用数学证明分布式协议的正确性

2026-04-13 | 分布式系统 | #形式化验证 #TLA+ #PlusCal #模型检查 #分布式协议 #distributed-systems

从 TLA+ 到 P 语言，解析形式化验证在分布式系统中的应用，包含 Amazon、Azure 等工业实践以及 Two-Phase Commit 的完整 TLA+ 规范。