Formal Specification and Model Checking of Raft Log Replication in Maude
Jun 29, 2023
Our paper “Formal Specification and Model Checking of Raft Log Replication in Maude” has been accepted by DMSVIVA23.
http://ksiresearchorg.ipage.com/seke/Proceedings/dms/DMSVIVA2023_Proceedings.pdf
I presented at DMSVIVA23.
