Formal Specification and Model Checking of Raft Leader Election in Maude
Jun 20, 2023
Our paper “Formal Specification and Model Checking of Raft Leader Election in Maude” has been accepted by ICSCA 2023.
https://dl.acm.org/doi/10.1145/3587828.3587835
I presented at ICSCA 2023.
