I have implemented consensus algorithm (based on Paxos). I have added some random test cases and it seems fine. To be sure, I want to do testing via model checking. I couldn't find a correct article for it. Are there any standard references on how to do model checking for Paxos?
Model checking Paxos
reference request;dc.distributed comp;model checking