Formal Specification and Model Checking of Raft Log Replication in Maude. - Takanori Ishibashi; Kazuhiro Ogata 001 (DMSVIVA, 2023)

Formal Specification and Model Checking of Raft Leader Election in Maude. - Takanori Ishibashi; Kazuhiro Ogata 001 (ICSCA, 2023)