HOME: Heard-Of based Formal Modeling and Verification Environment for Consensus Protocols.

Shumao Zhai, Xiaozhou Li, Ning Ge

Browse the full ICSE paper archive.