Model Checking the Safety of Raft Leader Election Algorithm.

Qihao Bao, Bixin Li, Tianyuan Hu, Dongyu Cao

Browse the full QRS paper archive.