Towards Automated Verification of Distributed Consensus Protocols.

Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno

Browse the full APSEC paper archive.