Safety Verification of Asynchronous Consensus Algorithms with Model Checking.

Tatsuya Noguchi, Tatsuhiro Tsuchiya, Tohru Kikuno

Browse the full PRDC paper archive.