Model Checking the Safety of Raft Leader Election Algorithm.

Qihao Bao Bixin Li Tianyuan Hu Dongyu Cao

Published in: QRS (2022)

Keyphrases

model checking
verification method
computational complexity
search space
dynamic programming
temporal logic
artificial intelligence
deterministic finite automaton
optimal solution
model checker
reachability analysis