2 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
Lingzhi Ouyang, Xudong Sun, Ruize Tang +4
This paper presents our experience specifying and verifying the correctness of ZooKeeper, a complex and evolving distributed coordination system. We use TLA+ to model fine-grained…