Formal Verification of Raft Protocol Based on Probabilistic Model
GUAN Jin-ping, YANG Jin-ji, YANG Cheng-long
Computer and Modernization . 2023, (09): 77 -81 .  DOI: 10.3969/j.issn.1006-2475.2023.09.012