Zab Correcteness July 8, 2016 ~ FPJ Apparently Yahoo! Labs removed access to tech reports, including the proof of correctness we had written for Zab (ZooKeeper Atomic Broadcast). I’m consequently making it available here. YL-2010-007 Share this:TwitterFacebookLike this:Like Loading...