Algorithm correctness: google "tla+" Implementation correctness: google "jepsen" Comparative overview: I'm not aware of one, but I'm sure there's one out ther

Algorithm correctness: google "tla+" Implementation correctness: google "jepsen" Comparative overview: I'm not aware of one, but I'm sure there's one out there. If you find one, post it. Make sure it's very recent because there have been some very significant papers in the last few months.