Vanlightly/bookkeeper-tlaplus

A TLA+ specification of the Apache BookKeeper replication protocol

2 best points · 1 comments · 1 Hacker News post · 104 GitHub stars · View on GitHub

Hacker News discussions

• TLA+ spec finds bugs in Apache BookKeeper (2 points, 1 comments, by lemmster, 2021-02-24)