10 lines
447 B
Markdown
10 lines
447 B
Markdown
# Finding bugs in Raft implementations
|
||
|
||
- **期号**: SRE Weekly Issue #529（2026-08-10）
|
||
- **作者**: TW Lim — Antithesis
|
||
- **链接**: https://antithesis.com/blog/2026/finding-bugs-in-raft-implementations/
|
||
|
||
## 简介
|
||
|
||
> …we rely on formal verification, and this is how consensus algorithms are built today. We define a model that we can mathematically prove to be correct, and then we… translate this perfect, platonic thing into code.
|